module noneopt
    procedure noneopt
	param
		I,J,K : in val integer initially 7
	endparam
    endprocedure
endmodule