//%Set Debug_Print_CCode = true
main module TOPT

procedure TOPT
    param
	Stuff : optional inout ref general 
    endparam

    force integer (Stuff) := 2
endprocedure

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

TOPT (A)
TOPT ()

endmodule