Listing:

    1  MODULE TWith;
    2  TYPE Point = RECORD x, y : INTEGER END;
    3  VAR p : Point; ExitCode : INTEGER;
    4  BEGIN
    5    p.x := 3;
    6    p.y := 4;
    7    WITH p DO
    8      x := x + 10;
    9      y := y + 20
   10    END;
   11    ExitCode := p.x + p.y
   12  END TWith.

    0 errors