MODULE TUStrFormal;
(* A U"..." literal and a UCHAR array both pass to an open
   VAR ARRAY OF UCHAR formal. Exit 3. *)
VAR ExitCode : INTEGER;
VAR a : ARRAY [0 .. 7] OF UCHAR;

PROCEDURE First (VAR s : ARRAY OF UCHAR) : INTEGER;
BEGIN
  RETURN UORD(s[0])
END First;

BEGIN
  a := U"hi";
  IF First(a) = 104 THEN ExitCode := ExitCode + 1 ELSE ExitCode := 100 END;
  IF First(U"AB") = 65 THEN ExitCode := ExitCode + 2 ELSE ExitCode := 101 END
END TUStrFormal.