diff --git a/manticore/platforms/decree.py b/manticore/platforms/decree.py
index 1115bb0f7..6cc7a6629 100644
--- a/manticore/platforms/decree.py
+++ b/manticore/platforms/decree.py
@@ -339,7 +339,9 @@ def BAD_ADDR(x):
         logger.info("Setting initial cpu state")
         # set initial CPU state
         cpu.write_register('EAX', 0x0)
-        cpu.write_register('ECX', 0x0)
+        cpu.write_register('ECX', cpu.memory.mmap(CGC_PAGESTART(0x4347c000),
+                                                  CGC_PAGEALIGN(4096 + CGC_PAGEOFFSET(0x4347c000)),
+                                                  'rwx'))
         cpu.write_register('EDX', 0x0)
         cpu.write_register('EBX', 0x0)
         cpu.write_register('ESP', stack)