MODULE TBadDeref;
VAR x : INTEGER;
VAR ExitCode : INTEGER;
BEGIN
  x^ := 1
END TBadDeref.