MODULE Main;

IMPORT B, C;

VAR
  c := NEW (C.T);
  b := NEW (B.V);
  bb := NEW (B.U);
  cc := NEW (C.U);

BEGIN 
  bb := cc;
  cc := bb;
  c := b;
  b := c;
END Main.