M2compiler-V1/tests/v_bad_with.mod

MODULE VBadWith;
TYPE Rec = RECORD a, b : INTEGER END;
VAR r : Rec; ExitCode : INTEGER;
PROCEDURE Bump(VAR x : INTEGER);
BEGIN
  x := x + 1
END Bump;
BEGIN
  r.a := 1; r.b := 2;
  WITH r DO Bump(a) END;
  ExitCode := 0
END VBadWith.