Listing:

    1  MODULE VBadWith;
    2  TYPE Rec = RECORD a, b : INTEGER END;
    3  VAR r : Rec; ExitCode : INTEGER;
    4  PROCEDURE Bump(VAR x : INTEGER);
    5  BEGIN
    6    x := x + 1
    7  END Bump;
    8  BEGIN
    9    r.a := 1; r.b := 2;
   10    WITH r DO Bump(a) END;
*****                   ^ invalid procedure call
   11    ExitCode := 0
   12  END VBadWith.

    1 error