MODULE TCharCat;
(* String concatenation `+` for CHAR arrays, mixed with literals and
   CHAR operands, plus chaining. Exit 7. *)
VAR ExitCode : INTEGER;
VAR a, b, c : ARRAY [0 .. 31] OF CHAR;
BEGIN
  a := "xy"; b := "zz";
  c := a + b;
  IF c = "xyzz" THEN ExitCode := ExitCode + 1 ELSE ExitCode := 100 END;

  c := a + "c";                     (* array + CHAR *)
  IF c = "xyc" THEN ExitCode := ExitCode + 2 ELSE ExitCode := 101 END;

  c := "x" + a;                     (* CHAR + array *)
  IF c = "xxy" THEN ExitCode := ExitCode + 4 ELSE ExitCode := 102 END;

  c := a + a + a;                   (* chained *)
  IF c = "xyxyxy" THEN ExitCode := ExitCode + 8 ELSE ExitCode := 103 END
END TCharCat.