libcrux_ml_dsa_simd_portable_arithmetic_add
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[index], &tmp);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(&re->data[j], &rejs);
libcrux_ml_dsa_simd_portable_arithmetic_add(lhs, rhs);