main module VARIBUG

use	TEXTIO


procedure vari (args: variadic in ref general with size)

    declare (number_of_args: integer)

    number_of_args := high(args)		// Receives incorrect value

    out_string (tty, "Number_of_args: ")
    out_integer (tty, number_of_args)

    out_record (tty)

    for i := 1 to number_of_args do
	declare (local: integer)
	local := force integer (args[i])	// Crashes program
	out_integer (tty, local)
	out_string (tty, " size=")
	out_integer (tty, integer(sizeof(args[i])))
	out_record (tty)
    endfor

endprocedure

vari (1,2,3,10,3)


endmodule