Symbol: ml_kem_get_codec