MODULE TPtrNest;
TYPE M = ARRAY [0..1, 0..1] OF INTEGER;
TYPE PM = POINTER TO M;
VAR ExitCode : INTEGER;
VAR p : PM;
BEGIN
  NEW(p);
  p^[0, 0] := 1; p^[0, 1] := 2; p^[1, 0] := 3; p^[1, 1] := 4;
  ExitCode := p^[0, 0] + p^[0, 1] + p^[1, 0] + p^[1, 1]
END TPtrNest.