module encoded
	%set use_rout_card = true
	export x,y,z
	declare
		x : static integer
		y is structure
			a: integer initially 1
			b: integer initially 7
		endstructure
	enddeclare
	procedure z()
	endprocedure
endmodule