diff --git a/miasm/ir/symbexec.py b/miasm/ir/symbexec.py
index 8c6245b87..643385a93 100644
--- a/miasm/ir/symbexec.py
+++ b/miasm/ir/symbexec.py
@@ -965,14 +965,15 @@ def modified(self, init_state=None, ids=True, mems=True):
                     continue
                 yield mem, value
 
-    def dump(self, ids=True, mems=True):
+    def dump(self,init_state_engine=None, ids=True, mems=True):
         """
         Display modififed variables
+        @init_state_engine: StateEngine instance
         @ids: display modified ids
         @mems: display modified memory
         """
 
-        for variable, value in self.modified(None, ids, mems):
+        for variable, value in self.modified(dict(init_state_engine if init_state_engine is not None else {}), ids, mems):
             print("%-18s" % variable, "=", "%s" % value)
 
     def eval_assignblk(self, assignblk):