pub unsafe extern "C" fn Hacl_Bignum256_mod_exp_consttime_precomp( k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64, a: *mut u64, bBits: u32, b: *mut u64, res: *mut u64, )