pub unsafe extern "C" fn __gmpz_mul_2exp(
    arg1: mpz_ptr,
    arg2: mpz_srcptr,
    arg3: mp_bitcnt_t
)