non-zero default arities disallowed