//%set debug_print_ccode = true
main module PUSHFLEX
// Push flexible array returned by function, but dont push others
	use TEXTIO

	function test()
	    returns test : packed array [1..16] of char
	    Test := "ABCDEFGHABCDEFGH"
	endfunction


	procedure joe
	    param
		A : in ref packed array [1..?N] of char
	    endparam
	    out_line (TTY, A)
	endprocedure

	Joe (test())
endmodule