codegen: let dotimes take multiple sexprs