Symbol: ml_kem_decapsulate