main module v use TEXTIO procedure var (a: variadic in ref general with size) out_String (tty, "high=") out_integer (tty, high(a)) out_record (tty) for i := 1 to high(a) do out_integer (tty, force integer(a[i])) out_string (tty, ",size=") out_integer (tty, integer(sizeof(a[i]))) out_Record (tty) endfor endprocedure var (3,5,7,9,11,13,"ABCDEFG") endmodule