ctx.addClock("clk", 30)
ctx.addClock("clk_2x", 60)