main module writeonly

	procedure w 
	   param
		A : out val integer initially 1
	   endparam
	   if A = 2 do
	   endif
	endprocedure
endmodule