class Test

	var _x as int

	pro x from var

	def foo(x as int)
		require x>0
		ensure .x==x
		_x = x

	def main is shared
		t = Test()
		t.foo(1)
		expect RequireException
			t.foo(0)