Yet another implementation of repeat. Now called loop.