main module a
	procedure b_ref ( x : optional inout ref integer initially 2 )
		x *= +1
	endprocedure
	procedure b_inout_val ( x : optional inout val integer initially 2 )
		x *= +1
	endprocedure
	procedure b_in_val ( x : optional in val integer initially 2 )
		if x = 2 do endif
	endprocedure
	procedure b_STRING( x : optional in ref packed array [1..?n] of char initially "hi there")
		if x [1] = $<sp> do endif
	endprocedure
	b_ref ()
	b_inout_val()
	b_in_val()
	b_string()
endmodule