LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE
#define LIBCRUX_ML_KEM_MLKEM768_SECRET_KEY_SIZE (LIBCRUX_ML_KEM_MLKEM768_CPA_PKE_SECRET_KEY_SIZE + LIBCRUX_ML_KEM_MLKEM768_CPA_PKE_PUBLIC_KEY_SIZE + LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE + LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE)
LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE);
.end = pointer + LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE
pointer += LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE;
LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE),
LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE,