MODULE Main;

TYPE
  A = REF C;
  D = REF B;

  B = RECORD c: C; END;
  C = RECORD d: D; END;

VAR
  a: A;

BEGIN
  a := NEW (A);
END Main.