class Test
	is abstract

	def foo(x as int) as int is abstract
		require
			x > 0
		ensure
			result > x
	
	def bar(x as int) as int is abstract
		require x > 0
		ensure result > x

	
	def main is shared
		pass


# TODO: could make this more complete with a subclass that has "or require" and "and ensure"