Listing:

    1  MODULE TWith;
    2  VAR ExitCode : INTEGER;
    3      r : RECORD x, y : INTEGER END;
    4      a : ARRAY [0 .. 1] OF RECORD v : INTEGER END;
    5  BEGIN
    6    r.x := 10; r.y := 20;
    7    WITH r DO
    8      x := x + 1;
    9      y := y + x
   10    END;
   11    WITH a[1] DO v := 5 END;
   12    WITH r DO
   13      WITH a[0] DO v := 2 END;
   14      x := x + a[0].v
   15    END;
   16    ExitCode := r.x + r.y + a[0].v + a[1].v
   17  END TWith.

    0 errors