MODULE TBadWith;
VAR n : INTEGER;
BEGIN
  n := 1;
  WITH n DO n := 2 END
END TBadWith.