MODULE TBadDeref;
VAR p : POINTER TO INTEGER; x : INTEGER;
BEGIN
  x := 1;
  x := p^
END TBadDeref.