ML_DSA_PRIV_SEED_BYTES
uint8_t expanded_seed[ML_DSA_RHO_BYTES + ML_DSA_PRIV_SEED_BYTES + ML_DSA_K_BYTES];
const uint8_t *const K = priv_seed + ML_DSA_PRIV_SEED_BYTES;
uint8_t derived_seed[ML_DSA_PRIV_SEED_BYTES + 2];
memcpy(derived_seed, seed, ML_DSA_PRIV_SEED_BYTES);
derived_seed[ML_DSA_PRIV_SEED_BYTES] = 0;
derived_seed[ML_DSA_PRIV_SEED_BYTES + 1] = 0;
++derived_seed[ML_DSA_PRIV_SEED_BYTES];
++derived_seed[ML_DSA_PRIV_SEED_BYTES];