module iniexp
	export x
	declare
		x is structure
			a	: integer initially 12
			b 	: boolean initially true
			c	: interlock initially unlocked
		endstructure
	enddeclare
endmodule