Symbol: libcrux_ml_kem_vector_portable_arithmetic_barrett_reduce_element
usr.bin/ssh/libcrux_internal.h
21274
int16_t vi = libcrux_ml_kem_vector_portable_arithmetic_barrett_reduce_element(vec.data[i0]);
usr.bin/ssh/libcrux_internal.h
21644
int16_t o0 = libcrux_ml_kem_vector_portable_arithmetic_barrett_reduce_element(a_plus_b);