MODULE TLower4With;
(* Lower slice L4: WITH (record field scope).  Exit 42. *)
TYPE
  Rec = RECORD a, b: INTEGER; END;
VAR
  r : Rec;
  x, ExitCode : INTEGER;
BEGIN
  r.a := 40;
  r.b := 2;
  WITH r DO
    x := a + b
  END;
  ExitCode := x
END TLower4With.