MODULE Main;
IMPORT A;

(* missing method in supertype causes error in override *)
REVEAL A.T = BRANDED OBJECT
           i: INTEGER;
         METHODS
           m ();
         END;

TYPE B = A.T OBJECT
         OVERRIDES
           m := P;
           n := P;
         END;


PROCEDURE P (b: B) =
  BEGIN
    EVAL b;
  END P;

BEGIN
END Main.