examples: introduce dotimes, since we don't have macros