ML_DSA_RHO_BYTES
uint8_t expanded_seed[ML_DSA_RHO_BYTES + ML_DSA_PRIV_SEED_BYTES + ML_DSA_K_BYTES];
const uint8_t *const priv_seed = expanded_seed + ML_DSA_RHO_BYTES;
uint8_t rho[ML_DSA_RHO_BYTES]; /* public random seed */
uint8_t derived_seed[ML_DSA_RHO_BYTES + 2];
memcpy(derived_seed, rho, ML_DSA_RHO_BYTES);
derived_seed[ML_DSA_RHO_BYTES + 1] = (uint8_t)i;
derived_seed[ML_DSA_RHO_BYTES] = (uint8_t)j;