main module TESTINIT
// THIS DOES NOT SET THE INITIAL CONDITION
    procedure	TESTINIT
	param	
	    Joe	: out val 16 bit integer initially 3
	endparam
    endprocedure



   declare (Sam : static 16 bit integer)
   TESTINIT (sam)


endmodule