LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE
serialized, pointer, pointer + LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE,
pointer = pointer + LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE;
LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE,
secret_key, LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE, uint8_t,
LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE + \
(size_t)64U, to_hash, LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE, uint8_t,