pub unsafe extern "C" fn __gmpn_submul_1( arg1: mp_ptr, arg2: mp_srcptr, arg3: mp_size_t, arg4: mp_limb_t, ) -> mp_limb_t