              [:jnz-value _] :cpy-value
              [:cpy-reg _]   :jnz-x-reg
              [:cpy-value _] :jnz-value)
-           cmds2 (assoc cmds idx (sp/setval [:cmd] after before))]
+           cmds2 (assoc cmds idx (sp/setval [:cmd] after-instruction before))]
         [cmds2 (inc ip) regs]))))
 
 (s/fdef maybe-deref

jnz d -2
inc c
jnz c -5")

(clojure.spec.test/instrument)

           (recur (inc ctr) cmds2 {:ip ip2 :regs regs2}))))))


(clojure.spec.test/instrument)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; sample data

