libcrux_ml_kem_vector_portable_arithmetic_add
return libcrux_ml_kem_vector_portable_arithmetic_add(lhs, rhs);
return libcrux_ml_kem_vector_portable_arithmetic_add(a, &fm);