module exptype
	export x_type
	declare
		x_type is structure
			a : integer initially 3
			b : real
		endstructure
	enddeclare
endmodule