Symbol: ML_KEM_512_SECBITS