Symbol: ML_DSA_NUM_POLY_COEFFICIENTS