(defpackage :dotimes-printer
   (:use :cl))
 (in-package :dotimes-printer)
 
 (dotimes (var count &optional result)
   &body body)
 
 (defmacro destructure-dotimes ((var count &optional result) &body body)
   `(translate
     (produce-initializer ',var 0)
     (produce-check ',var '< ',count)
     (produce-increment ',)))
 
 (defun translate-dotimes (form)
   ())