fixed arity checking