Symbol: ML_KEM_PRIME