Function Hacl_Bignum32_mod 

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