Symbol: ml_kem_gettable_params