(* Test: Text.PutStr (passing a fixed array to an open array formal) *)

MODULE Main;

IMPORT Text;

VAR s : ARRAY [1..10] OF CHAR;
    t : Text.T;

BEGIN
 Text.SetChars (s, t);
END Main.