//%Set Debug_Print_CCode = true
main module TOPT

procedure TOPT
    param
	Stuff : optional inout ref general with size 
    endparam

    force integer (Stuff) := 2
endprocedure

procedure CALL_TOPT
    param
	Flex_stuff : inout ref packed array [1..?n] of char
    endparam
    TOPT (Flex_Stuff)
endprocedure

declare
    A : static array [1..6 of char
enddeclare

CALL_TOPT (A)
endmodule