libcrux_ml_kem_vector_portable_add_b8
libcrux_ml_kem_vector_portable_add_b8(coefficient_normal_form,
a = libcrux_ml_kem_vector_portable_add_b8(a, &t);
libcrux_ml_kem_vector_portable_add_b8(myself->coefficients[i0],
libcrux_ml_kem_vector_portable_add_b8(a, &b));
libcrux_ml_kem_vector_portable_add_b8(re->coefficients[j], &t);
libcrux_ml_kem_vector_portable_add_b8(coefficient_normal_form,
libcrux_ml_kem_vector_portable_add_b8(myself->coefficients[i0],
libcrux_ml_kem_vector_portable_add_b8(coefficient_normal_form, &sum1);