;; run devil run (p/t)