ML_KEM_PRIME
static const uint16_t half_q_plus_1 = (ML_KEM_PRIME >> 1) + 1;
static const int kPrime = ML_KEM_PRIME;
static const size_t kBarrettMultiplier = (1 << BARRETT_SHIFT) / ML_KEM_PRIME;
static const uint16_t kHalfPrime = (ML_KEM_PRIME - 1) / 2;
#define INVERSE_DEGREE (ML_KEM_PRIME - 2 * 13)