MODULE foo;

REVEAL u = t OBJECT a: INTEGER; METHODS END
              BRANDED "aaa" OBJECT b:CHAR; METHODS END;

REVEAL t = BRANDED "bbb"  OBJECT c: BOOLEAN; METHODS END;

BEGIN

END foo.