pub unsafe extern "C" fn PL_functor_arity(f: functor_t) -> c_int