(define impc:ti:dotimes (lambda (ast inbody?) (list 'dotimes (impc:ti:first-transform (cadr ast) inbody?) (cons 'begin (impc:ti:first-transform (cddr ast) inbody?)))))