MODULE TLower5Set;
(* Lower slice L5: set arithmetic (+, -) and string concatenation.  Exit 42. *)
TYPE
  Vec = ARRAY [0..7] OF CHAR;
VAR
  a, b, c : SET OF [0..7];
  t : Vec;
  i, ExitCode : INTEGER;
BEGIN
  a := {1, 2, 3};
  b := {3, 4};
  c := a + b;
  c := c - b;
  t := "ab" + "cd";
  i := ORD(t[2]);
  IF (1 IN c) AND (2 IN c) THEN ExitCode := i - 57 ELSE ExitCode := 0 END
END TLower5Set.