Symbol: to_clk_bitselect