MODULE Test;

TYPE
  R1 = RECORD END;
(*  R2 = RECORD (R1) END; *)
  R3 = RECORD END;

VAR
(*
  a : R1;
  b : R2;
*)
  c : R3;

BEGIN
(*  a := b; *)
END Test.