MODULE Main; TYPE A = B OBJECT END; TYPE B = A OBJECT END; BEGIN END Main.