MODULE Main; TYPE X = X OBJECT END; BEGIN END Main.