Symbol: ite_is_high_carrier_freq