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