Symbol: LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_SHIFT
usr.bin/ssh/libcrux_mlkem768_sha3.h
5698
((int32_t)1 << (uint32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_SHIFT)
usr.bin/ssh/libcrux_mlkem768_sha3.h
5722
t >> (uint32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_SHIFT);