main module LABEL
declare
	Blank_char is char initially $A
	A_type is packed array [1..1] of blank_char
	A : static A_type 
	B is 
	    structure
		C : 16 bit integer
		D : 16 bit integer	initially 3
	    endstructure
	
	B_S : static B
enddeclare

function test 
    param
	A : in ref packed array [1..?N] of blank_char
    endparam
   returns	T : B
endfunction

A[1] := $A

B_S := test ("a")
endmodule