MODULE TWithField;
// WITH-field as VAR actual. Exit 13.
TYPE Point = RECORD x, y : INTEGER END;
VAR ExitCode : INTEGER;
VAR p : Point;
PROCEDURE Bump(VAR v : INTEGER);
BEGIN
  v := v + 5
END Bump;
BEGIN
  p.x := 1;
  p.y := 2;
  WITH p DO
    Bump(x);
    Bump(y)
  END;
  ExitCode := p.x + p.y
END TWithField.