diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index b7de01d..2ec04ca 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -335,6 +335,7 @@ def do_run_test(state, apis, test, hook_test=False):
 
   state = m.initial_state
   mc = DeepManticore(state)
+  mc.write_uint32_t(apis["UsingSymExec"], 8589934591)
   mc.begin_test(test)
   del mc