MODULE VField;
TYPE Inner = RECORD u, v : INTEGER END;
TYPE Outer = RECORD a : INTEGER; b : Inner END;
VAR r : Outer; ExitCode : INTEGER;
PROCEDURE Bump(VAR x : INTEGER);
BEGIN
  x := x + 1000
END Bump;
BEGIN
  r.a := 1;
  r.b.u := 10;
  r.b.v := 20;
  Bump(r.b.v);
  ExitCode := r.a + r.b.u + r.b.v
END VField.