ctx.addClock("clk25", 25.0)