Symbol: set_input_clock