Tests for module 'y1'.