Function Hacl_Bignum256_32_mod_exp_consttime 

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