MODULE Main;

TYPE 
  V <: ROOT;
  W <: ROOT;
REVEAL
  V = W BRANDED "foo" OBJECT a: INTEGER; END;
  W = V BRANDED "bar" OBJECT b: INTEGER; END;

VAR v := NEW (V);
BEGIN
   EVAL v.a;
   EVAL v.b;
END Main.