Listing:

    1  MODULE RNest;
    2  TYPE Inner = RECORD u, v : INTEGER END;
    3  TYPE Outer = RECORD a : INTEGER; b : Inner; c : INTEGER END;
    4  VAR r : Outer; ExitCode : INTEGER;
    5  BEGIN
    6    r.a := 1;
    7    r.b.u := 10;
    8    r.b.v := 20;
    9    r.c := 100;
   10    WITH r DO
   11      a := a + 1;
   12      c := c + 1;
   13      WITH b DO
   14        u := u + 1;
   15        v := v + 1
   16      END
   17    END;
   18    ExitCode := r.a + r.b.u + r.b.v + r.c
   19  END RNest.

    0 errors