main module y use TEXTIO procedure var (a: variadic in ref packed array[1..?n] of char) out_String (tty, "high=") out_integer (tty, high(a)) out_record (tty) for i := 1 to high(a) do declare (s: static integer) s := high(a[i]) out_string (tty, "high=") out_integer(tty, s) out_string (tty, " ") out_string (tty, a[i], s) out_Record (tty) endfor endprocedure var ("HI", "THERE", "YOU", "ALL") endmodule