pub unsafe extern "C" fn Hacl_Bignum32_add( len: u32, a: *mut u32, b: *mut u32, res: *mut u32, ) -> u32