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