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