MODULE Test;

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

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

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

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