Symbol: libcrux_ml_kem_vector_portable_serialize_serialize_10_int
usr.bin/ssh/libcrux_mlkem768_sha3.h
6625
uint8_t_x5 r0_4 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int(
usr.bin/ssh/libcrux_mlkem768_sha3.h
6628
uint8_t_x5 r5_9 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int(
usr.bin/ssh/libcrux_mlkem768_sha3.h
6631
uint8_t_x5 r10_14 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int(
usr.bin/ssh/libcrux_mlkem768_sha3.h
6634
uint8_t_x5 r15_19 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int(