main module VARISTING use TEXTIO declare s_type is packed array[1..132] of char enddeclare procedure out_Strings param f: file string: variadic in ref packed array[1..?n] of char endparam for i := 1 to high(string) do out_string (f, force s_type(string[i]), high(string[i])) endfor out_record (f) endprocedure {Out_strings} endmodule