MODULE Test5;

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

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

VAR
  a : R1;
  b : R2;
  c : R3;
  p1 : P1;
  p2 : P2;
  p3 : P3;

BEGIN
  a := b;
  p2 := p1(P2);
  p1 := p2;
  p3 := p3;
END Test5.