(define (progress-report fmt . args)
  (if *verbose?*
      (begin (printf "  ")
             (apply printf format args)
             (printf "...~%")
             (flush-output-port (current-output-port)))))