Symbol: LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE