MODULE Main;

(* untraced objects cannot contain a traced fields in safe modules *)

TYPE A = UNTRACED OBJECT
           i: INTEGER;
         END;

TYPE B = A OBJECT
           t: TEXT;
         END;

BEGIN
END Main.