MODULE RNest;
TYPE Inner = RECORD u, v : INTEGER END;
TYPE Outer = RECORD a : INTEGER; b : Inner; c : INTEGER END;
VAR r : Outer; ExitCode : INTEGER;
BEGIN
  r.a := 1;
  r.b.u := 10;
  r.b.v := 20;
  r.c := 100;
  WITH r DO
    a := a + 1;
    c := c + 1;
    WITH b DO
      u := u + 1;
      v := v + 1
    END
  END;
  ExitCode := r.a + r.b.u + r.b.v + r.c
END RNest.