MODULE Test;

IMPORT Out;

TYPE
  P1 = POINTER TO R1;
  P2 = POINTER TO R2;
  P3 = POINTER TO R3;

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

VAR
  r : P1;

BEGIN
  NEW(r);
  Out.Open;
  WITH r : P1 DO
    Out.String("R1"); Out.Ln;
  END;
END Test.