MODULE VDeref;
TYPE Node = RECORD val : INTEGER; next : POINTER TO Node END;
TYPE PNode = POINTER TO Node;
VAR p : PNode; ExitCode : INTEGER;
PROCEDURE Bump(VAR x : INTEGER);
BEGIN
  x := x + 100
END Bump;
BEGIN
  NEW(p);
  p^.val := 5;
  Bump(p^.val);
  ExitCode := p^.val
END VDeref.