module xx
	import y,z from global1
	export x
	procedure x ()
		y(1,2,3)
		z(1,2,3)
	endprocedure 
endmodule