Function Hacl_GenericField32_add 

pub unsafe extern "C" fn Hacl_GenericField32_add(
    k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32,
    aM: *mut u32,
    bM: *mut u32,
    cM: *mut u32,
)