libcrux_ml_kem_vector_portable_barrett_reduce_b8
libcrux_ml_kem_vector_portable_barrett_reduce_b8(sum);
libcrux_ml_kem_vector_portable_barrett_reduce_b8(
a = libcrux_ml_kem_vector_portable_barrett_reduce_b8(
libcrux_ml_kem_vector_portable_barrett_reduce_b8(diff);
libcrux_ml_kem_vector_portable_barrett_reduce_b8(sum);
libcrux_ml_kem_vector_portable_barrett_reduce_b8(sum2);