M2compiler-V3/compiler/tests/t_bad_with.mod

MODULE TBadWith;
VAR x : INTEGER;
VAR ExitCode : INTEGER;
BEGIN
  WITH x DO
    x := 1
  END
END TBadWith.