MODULE Main; TYPE x = y; y = x; BEGIN END Main.