Symbol: libcrux_ml_kem_vector_portable_serialize_serialize_11_int
crypto/openssh/libcrux_mlkem768_sha3.h
5993
uint8_t_x11 r0_10 = libcrux_ml_kem_vector_portable_serialize_serialize_11_int(
crypto/openssh/libcrux_mlkem768_sha3.h
5996
libcrux_ml_kem_vector_portable_serialize_serialize_11_int(