guile-for-guile-emacs/test-suite/vm/t-do-loop.scm

(let ((n+ 0))
  (do ((n- 5  (1- n-))
       (n+ n+ (1+ n+)))
      ((= n- 0))
    (format #f "n- = ~a~%" n-)))