pub unsafe extern "C" fn Hacl_Bignum4096_32_mod_exp_consttime( n: *mut u32, a: *mut u32, bBits: u32, b: *mut u32, res: *mut u32, ) -> bool