Symbol: ML_DSA_MAX_LAMBDA