ctx.addClock("clk", 12)