main module impvar
	use expvar
	declare
		x: integer initially const
	enddeclare
	var[1]:=x

endmodule