interface-checks are generic