interface IA

	def sum as int

class CA
	implements IA
	
	def sum as int  # verify that cobra doesn't complain that sum must be marked "is override" or "is new"
		return 2
	
class Test

	def main is shared
		ca as CA = CA()
		assert ca.sum == 2