Symbol: to_clk_programmable