MODULE Main EXPORTS A, Main;

REVEAL
  T = T BRANDED OBJECT
      OVERRIDES
        m := P;
      END;
  
BEGIN
END Main.