codegen: fix dotimes