Symbol: to_clk_info