Define and check an interface