MODULE TUStrCat;
(* UString concatenation (`+`, including single-codepoint operands)
   and LEN/LENGTH/HIGH of a UString literal. Exit 63. *)
VAR ExitCode : INTEGER;
VAR a : ARRAY [0 .. 31] OF UCHAR;
BEGIN
  IF LEN(U"hello") = 5 THEN ExitCode := ExitCode + 1 ELSE ExitCode := 100 END;
  IF LENGTH(U"abc") = 3 THEN ExitCode := ExitCode + 2 ELSE ExitCode := 101 END;
  IF HIGH(U"hello") = 4 THEN ExitCode := ExitCode + 4 ELSE ExitCode := 102 END;

  a := U"ab" + U"cd";
  IF a[0] = U'a' THEN ExitCode := ExitCode + 8 ELSE ExitCode := 103 END;
  IF a[3] = U'd' THEN ExitCode := ExitCode + 16 ELSE ExitCode := 104 END;

  a := U"x" + U"é";                 (* single-codepoint operands *)
  IF a[1] = U'é' THEN ExitCode := ExitCode + 32 ELSE ExitCode := 105 END
END TUStrCat.