t_bad_deref.mod 89 B

123456
  1. MODULE TBadDeref;
  2. VAR x : INTEGER; y : INTEGER;
  3. BEGIN
  4. x := 1;
  5. y := x^
  6. END TBadDeref.