MODULE Main;


PROCEDURE Q (a: OBJECT METHODS m() := Q; END) = BEGIN END Q;

BEGIN
END Main.