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