Symbol: carrier_freq_to_clock_divider