%set warn_dynamic_holy_type = true
//%set debug_print_ccode = true
main module testpushm
	declare
		A : packed array [1..10] of 12 bit integer
	enddeclare

	procedure Testpushm ()
	endprocedure

	Testpushm ()
endmodule