anchor.diff:                                                    ,deadline-var))
               :init `(,init-name (,*init-arg*) ;; last argument is always time overflow
                                  (setf ,start-var ,*init-arg*
  -                                     ,deadline-var (+ ,*init-arg* ,deadline)))
  +                                     ,deadline-var (+ ,*init-arg* ,deadline))
  +                               ,@(loop :for c :in compiled-body
  +                                    :if (caar (init c))
  +                                    :collect `(,(caar (init c)) ,*init-arg*)))
               :body `(when (not (,expire-test-name))
                        (let ((,*progress-var* 
                               (float (- 1.0 (/ (- ,deadline-var ,*time-var*)
  
positive.code: (defun tbody (compiled)
    `(let ((,*time-var* (,*default-time-source*)))
       (labels (,@(mapcan #'start-test compiled)
                ,@(mapcan #'expire-test compiled)
                  ,@(mapcan #'init compiled)
                  ,@(mapcan #'funcs compiled))                
         (prog1
             ,(improve-readability `(progn ,@(mapcar #'body compiled)))
  
negative.code: 
  (defmacro tlambda (args &body body)  
    (let ((compiled (tcompile body)))
      `(let* (,@(mapcan #'closed-vars compiled))
         (labels ,(reverse (mapcan #'init compiled))
           (let ((func (lambda ,args ,(tbody compiled))))
             ,@(t-init-base compiled)
             func)))))
  
  (defmacro tdefun (name args &body body)
    (let ((compiled (tcompile body)))
      `(let ,(mapcan #'closed-vars compiled)
         (labels ,(reverse (mapcan #'init compiled))
           (defun ,name ,args ,(tbody compiled))
           ,@(t-init-base compiled)
           ',name))))
  
  (defmacro before (deadline &body body)
    `(tlambda () (before ,deadline ,@body)))
  