From e1ae4ad4495dd13fba6346274971a8871cb32607 Mon Sep 17 00:00:00 2001
From: Gav Wood <i@gavwood.com>
Date: Mon, 12 May 2014 14:40:47 +0100
Subject: [PATCH] PoC-5 VM tests.

---
 vmtests.json | 1355 +++++++++++++++++++++-----------------------------
 1 file changed, 557 insertions(+), 798 deletions(-)

diff --git a/vmtests.json b/vmtests.json
index 6e9467a110d7..9f46d1c7dd25 100644
--- a/vmtests.json
+++ b/vmtests.json
@@ -1,799 +1,558 @@
 {
-	"arith" : {
-		"env" : {
-			"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
-			"currentDifficulty" : "256",
-			"currentTimestamp" : 1,
-			"feeMultiplier" : 1,
-			"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
-			"previousNonce" : "9c9c6567b5ec0c5f3f25df79be42707090f1e62e9db84cbb556ae2a2f6ccccae"
-		},
-		"exec" : [
-			{
-				"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
-				"data" : [
-				],
-				"sender" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 1000000000000000000
-			}
-		],
-		"post" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 999999999999999810,
-				"extroPrice" : 0,
-				"nonce" : 1,
-				"store" : {
-					"0" : [
-						48,
-						0,
-						48,
-						2,
-						48,
-						2,
-						1,
-						48,
-						4,
-						48,
-						4,
-						2,
-						48,
-						4,
-						2,
-						1,
-						48,
-						2,
-						48,
-						2,
-						4,
-						1,
-						48,
-						3,
-						48,
-						2,
-						6,
-						1,
-						48,
-						8,
-						48,
-						2,
-						3,
-						48,
-						2,
-						3,
-						1,
-						17,
-						61,
-						0
-					]
-				}
-			}
-		},
-		"pre" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 1000000000000000000,
-				"extroPrice" : 0,
-				"nonce" : 0,
-				"store" : {
-					"0" : [
-						48,
-						0,
-						48,
-						2,
-						48,
-						2,
-						1,
-						48,
-						4,
-						48,
-						4,
-						2,
-						48,
-						4,
-						2,
-						1,
-						48,
-						2,
-						48,
-						2,
-						4,
-						1,
-						48,
-						3,
-						48,
-						2,
-						6,
-						1,
-						48,
-						8,
-						48,
-						2,
-						3,
-						48,
-						2,
-						3,
-						1,
-						17,
-						61
-					]
-				}
-			}
-		},
-		"txs" : [
-			{
-				"data" : [
-				],
-				"destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 79
-			}
-		]
-	},
-	"boolean" : {
-		"env" : {
-			"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
-			"currentDifficulty" : "256",
-			"currentTimestamp" : 1,
-			"feeMultiplier" : 1,
-			"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
-			"previousNonce" : "9c9c6567b5ec0c5f3f25df79be42707090f1e62e9db84cbb556ae2a2f6ccccae"
-		},
-		"exec" : [
-			{
-				"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
-				"data" : [
-				],
-				"sender" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 1000000000000000000
-			}
-		],
-		"post" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 999999999999999490,
-				"extroPrice" : 0,
-				"nonce" : 4,
-				"store" : {
-					"0" : [
-						48,
-						21,
-						48,
-						0,
-						48,
-						13,
-						48,
-						1,
-						15,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						2,
-						17,
-						61,
-						48,
-						42,
-						48,
-						0,
-						48,
-						34,
-						48,
-						1,
-						15,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						3,
-						17,
-						61,
-						48,
-						63,
-						48,
-						0,
-						48,
-						55,
-						48,
-						0,
-						15,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						4,
-						17,
-						61,
-						48,
-						84,
-						48,
-						0,
-						48,
-						76,
-						48,
-						0,
-						15,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						5,
-						17,
-						61,
-						48,
-						104,
-						48,
-						1,
-						48,
-						96,
-						48,
-						1,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						12,
-						17,
-						61,
-						48,
-						124,
-						48,
-						1,
-						48,
-						116,
-						48,
-						1,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						13,
-						17,
-						61,
-						48,
-						144,
-						48,
-						1,
-						48,
-						136,
-						48,
-						0,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						14,
-						17,
-						61,
-						48,
-						164,
-						48,
-						1,
-						48,
-						156,
-						48,
-						0,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						15,
-						17,
-						61,
-						0
-					]
-				}
-			}
-		},
-		"pre" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 1000000000000000000,
-				"extroPrice" : 0,
-				"nonce" : 0,
-				"store" : {
-					"0" : [
-						48,
-						21,
-						48,
-						0,
-						48,
-						13,
-						48,
-						1,
-						15,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						2,
-						17,
-						61,
-						48,
-						42,
-						48,
-						0,
-						48,
-						34,
-						48,
-						1,
-						15,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						3,
-						17,
-						61,
-						48,
-						63,
-						48,
-						0,
-						48,
-						55,
-						48,
-						0,
-						15,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						4,
-						17,
-						61,
-						48,
-						84,
-						48,
-						0,
-						48,
-						76,
-						48,
-						0,
-						15,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						5,
-						17,
-						61,
-						48,
-						104,
-						48,
-						1,
-						48,
-						96,
-						48,
-						1,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						12,
-						17,
-						61,
-						48,
-						124,
-						48,
-						1,
-						48,
-						116,
-						48,
-						1,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						13,
-						17,
-						61,
-						48,
-						144,
-						48,
-						1,
-						48,
-						136,
-						48,
-						0,
-						57,
-						49,
-						48,
-						1,
-						15,
-						57,
-						48,
-						0,
-						48,
-						14,
-						17,
-						61,
-						48,
-						164,
-						48,
-						1,
-						48,
-						156,
-						48,
-						0,
-						57,
-						49,
-						48,
-						0,
-						15,
-						57,
-						48,
-						0,
-						48,
-						15,
-						17,
-						61
-					]
-				}
-			}
-		},
-		"txs" : [
-			{
-				"data" : [
-				],
-				"destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 2
-			},
-			{
-				"data" : [
-				],
-				"destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 12
-			},
-			{
-				"data" : [
-				],
-				"destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 13
-			},
-			{
-				"data" : [
-				],
-				"destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 14
-			}
-		]
-	},
-	"fan" : {
-		"env" : {
-			"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
-			"currentDifficulty" : "256",
-			"currentTimestamp" : 1,
-			"feeMultiplier" : 1,
-			"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
-			"previousNonce" : "9c9c6567b5ec0c5f3f25df79be42707090f1e62e9db84cbb556ae2a2f6ccccae"
-		},
-		"exec" : [
-			{
-				"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
-				"data" : [
-					"0xcd1722f3947def4cf144679da39c4c32bdc35681",
-					"0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
-				],
-				"sender" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 1000000000000000000
-			}
-		],
-		"post" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : "115792089237316195423570985008687907853269984665640564039456684007913129639415",
-				"extroPrice" : 0,
-				"nonce" : 2,
-				"store" : {
-					"0" : [
-						48,
-						8,
-						48,
-						100000000000000000,
-						18,
-						12,
-						57,
-						0,
-						19,
-						48,
-						100000000000000000,
-						18,
-						3,
-						4,
-						48,
-						"53545048851664692004060005546177757518248266694338929000325674008596820525056",
-						55,
-						48,
-						0,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						55,
-						48,
-						53,
-						19,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						54,
-						10,
-						15,
-						57,
-						48,
-						0,
-						48,
-						"53545048851664692004060005546177757518248266694338929000325674008596820525056",
-						54,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						54,
-						20,
-						61,
-						48,
-						1,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						54,
-						1,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						55,
-						48,
-						22,
-						56,
-						0
-					],
-					"47492849101242970779199036819969649705442767148016637594308774690745619578880" : [
-						2
-					],
-					"53545048851664692004060005546177757518248266694338929000325674008596820525056" : [
-						450000000000000000
-					]
-				}
-			}
-		},
-		"pre" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 0,
-				"extroPrice" : 0,
-				"nonce" : 0,
-				"store" : {
-					"0" : [
-						48,
-						8,
-						48,
-						100000000000000000,
-						18,
-						12,
-						57,
-						0,
-						19,
-						48,
-						100000000000000000,
-						18,
-						3,
-						4,
-						48,
-						"53545048851664692004060005546177757518248266694338929000325674008596820525056",
-						55,
-						48,
-						0,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						55,
-						48,
-						53,
-						19,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						54,
-						10,
-						15,
-						57,
-						48,
-						0,
-						48,
-						"53545048851664692004060005546177757518248266694338929000325674008596820525056",
-						54,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						54,
-						20,
-						61,
-						48,
-						1,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						54,
-						1,
-						48,
-						"47492849101242970779199036819969649705442767148016637594308774690745619578880",
-						55,
-						48,
-						22,
-						56
-					]
-				}
-			}
-		},
-		"txs" : [
-			{
-				"data" : [
-				],
-				"destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 450000000000000000
-			},
-			{
-				"data" : [
-				],
-				"destination" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
-				"value" : 450000000000000000
-			}
-		]
-	},
-	"mktx" : {
-		"env" : {
-			"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
-			"currentDifficulty" : "256",
-			"currentTimestamp" : 1,
-			"feeMultiplier" : 1,
-			"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
-			"previousNonce" : "9c9c6567b5ec0c5f3f25df79be42707090f1e62e9db84cbb556ae2a2f6ccccae"
-		},
-		"exec" : [
-			{
-				"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
-				"data" : [
-				],
-				"sender" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 1000000000000000000
-			}
-		],
-		"post" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 499999999999999900,
-				"extroPrice" : 0,
-				"nonce" : 1,
-				"store" : {
-					"0" : [
-						48,
-						0,
-						48,
-						500000000000000000,
-						17,
-						61,
-						0
-					]
-				}
-			}
-		},
-		"pre" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 1000000000000000000,
-				"extroPrice" : 0,
-				"nonce" : 0,
-				"store" : {
-					"0" : [
-						48,
-						0,
-						48,
-						500000000000000000,
-						17,
-						61
-					]
-				}
-			}
-		},
-		"txs" : [
-			{
-				"data" : [
-				],
-				"destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 500000000000000000
-			}
-		]
-	},
-	"suicide" : {
-		"env" : {
-			"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
-			"currentDifficulty" : "256",
-			"currentTimestamp" : 1,
-			"feeMultiplier" : 1,
-			"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
-			"previousNonce" : "9c9c6567b5ec0c5f3f25df79be42707090f1e62e9db84cbb556ae2a2f6ccccae"
-		},
-		"exec" : [
-			{
-				"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
-				"data" : [
-				],
-				"sender" : "cd1722f3947def4cf144679da39c4c32bdc35681",
-				"value" : 1000000000000000000
-			}
-		],
-		"post" : {
-			"cd1722f3947def4cf144679da39c4c32bdc35681" : {
-				"balance" : 1000000000000000010,
-				"extroPrice" : 0,
-				"nonce" : 0
-			}
-		},
-		"pre" : {
-			"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
-				"balance" : 1000000000000000000,
-				"extroPrice" : 0,
-				"nonce" : 0,
-				"store" : {
-					"0" : [
-						17,
-						63
-					]
-				}
-			}
-		},
-		"txs" : [
-		]
-	}
-}
+    "arith" : {
+        "callcreates" : [
+            {
+                "data" : [
+                    0,
+                    0,
+                    0,
+                    0
+                ],
+                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "gasLimit" : 9776,
+                "value" : 4
+            }
+        ],
+        "env" : {
+            "code" : "{ (call (- (gas) 200) (caller) (+ 2 2 (* 4 4 4) (/ 2 2) (% 3 2) (- 8 2 2)) 0 0 0 0) }",
+            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+            "currentDifficulty" : "256",
+            "currentGasLimit" : "1000000",
+            "currentNumber" : "0",
+            "currentTimestamp" : 1,
+            "gasLimit" : null,
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "exec" : [
+            {
+                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "data" : "",
+                "gas" : "10000",
+                "gasPrice" : "100000000000000",
+                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "value" : "1000000000000000000"
+            }
+        ],
+        "gas" : 9954,
+        "out" : [
+        ],
+        "post" : {
+            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+                "balance" : 999999999999999992,
+                "nonce" : 1,
+                "storage" : {
+                }
+            },
+            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
+                "balance" : 4,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+            ]
+        },
+        "pre" : {
+            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+                "balance" : 1000000000000000000,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                2,
+                96,
+                2,
+                96,
+                8,
+                3,
+                96,
+                2,
+                96,
+                3,
+                6,
+                96,
+                2,
+                96,
+                2,
+                4,
+                96,
+                4,
+                96,
+                4,
+                96,
+                4,
+                2,
+                96,
+                2,
+                96,
+                2,
+                1,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241
+            ]
+        }
+    },
+    "boolean" : {
+        "callcreates" : [
+            {
+                "data" : [
+                ],
+                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "gasLimit" : 9786,
+                "value" : 2
+            },
+            {
+                "data" : [
+                ],
+                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "gasLimit" : 9732,
+                "value" : 12
+            },
+            {
+                "data" : [
+                ],
+                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "gasLimit" : 9696,
+                "value" : 13
+            },
+            {
+                "data" : [
+                ],
+                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "gasLimit" : 9660,
+                "value" : 14
+            }
+        ],
+        "env" : {
+            "code" : "(seq (when (and 1 1) (call (- (gas) 200) (caller) 2 0 0 0 0)) (when (and 1 0) (call (- (gas) 200) (caller) 3 0 0 0 0)) (when (and 0 1) (call (- (gas) 200) (caller) 4 0 0 0 0)) (when (and 0 0) (call (- (gas) 200) (caller) 5 0 0 0 0)) (when (or 1 1) (call (- (gas) 200) (caller) 12 0 0 0 0)) (when (or 1 0) (call (- (gas) 200) (caller) 13 0 0 0 0)) (when (or 0 1) (call (- (gas) 200) (caller) 14 0 0 0 0)) (when (or 0 0) (call (- (gas) 200) (caller) 15 0 0 0 0)) )",
+            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+            "currentDifficulty" : "256",
+            "currentGasLimit" : "1000000",
+            "currentNumber" : "0",
+            "currentTimestamp" : 1,
+            "gasLimit" : null,
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "exec" : [
+            {
+                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "data" : "",
+                "gas" : "10000",
+                "gasPrice" : "100000000000000",
+                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "value" : "1000000000000000000"
+            }
+        ],
+        "gas" : 9832,
+        "out" : [
+        ],
+        "post" : {
+            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+                "balance" : 999999999999999918,
+                "nonce" : 4,
+                "storage" : {
+                }
+            },
+            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
+                "balance" : 41,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+            ]
+        },
+        "pre" : {
+            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+                "balance" : 1000000000000000000,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+                96,
+                1,
+                96,
+                1,
+                16,
+                15,
+                99,
+                0,
+                0,
+                0,
+                29,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                2,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80,
+                96,
+                0,
+                96,
+                1,
+                16,
+                15,
+                99,
+                0,
+                0,
+                0,
+                58,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                3,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80,
+                96,
+                1,
+                96,
+                0,
+                16,
+                15,
+                99,
+                0,
+                0,
+                0,
+                87,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                4,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80,
+                96,
+                0,
+                96,
+                0,
+                16,
+                15,
+                99,
+                0,
+                0,
+                0,
+                116,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                5,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80,
+                96,
+                1,
+                96,
+                1,
+                17,
+                15,
+                99,
+                0,
+                0,
+                0,
+                145,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                12,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80,
+                96,
+                0,
+                96,
+                1,
+                17,
+                15,
+                99,
+                0,
+                0,
+                0,
+                174,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                13,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80,
+                96,
+                1,
+                96,
+                0,
+                17,
+                15,
+                99,
+                0,
+                0,
+                0,
+                203,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                14,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80,
+                96,
+                0,
+                96,
+                0,
+                17,
+                15,
+                99,
+                0,
+                0,
+                0,
+                232,
+                89,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                15,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241,
+                80
+            ]
+        }
+    },
+    "mktx" : {
+        "callcreates" : [
+            {
+                "data" : [
+                ],
+                "destination" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "gasLimit" : 9792,
+                "value" : 500000000000000000
+            }
+        ],
+        "env" : {
+            "code" : "(call (- (gas) 200) (caller) 500000000000000000 0 0 0 0)",
+            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+            "currentDifficulty" : "256",
+            "currentGasLimit" : "1000000",
+            "currentNumber" : "0",
+            "currentTimestamp" : 1,
+            "gasLimit" : null,
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "exec" : [
+            {
+                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "data" : "",
+                "gas" : "10000",
+                "gasPrice" : "100000000000000",
+                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "value" : "1000000000000000000"
+            }
+        ],
+        "gas" : 9971,
+        "out" : [
+        ],
+        "post" : {
+            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+                "balance" : 0,
+                "nonce" : 1,
+                "storage" : {
+                }
+            },
+            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
+                "balance" : 500000000000000000,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+            ]
+        },
+        "pre" : {
+            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+                "balance" : 1000000000000000000,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                96,
+                0,
+                103,
+                6,
+                240,
+                91,
+                89,
+                211,
+                178,
+                0,
+                0,
+                51,
+                96,
+                200,
+                92,
+                3,
+                241
+            ]
+        }
+    },
+    "suicide" : {
+        "callcreates" : [
+        ],
+        "env" : {
+            "code" : "(suicide (caller))",
+            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+            "currentDifficulty" : "256",
+            "currentGasLimit" : "1000000",
+            "currentNumber" : "0",
+            "currentTimestamp" : 1,
+            "gasLimit" : null,
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "exec" : [
+            {
+                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "data" : "",
+                "gas" : "10000",
+                "gasPrice" : "100000000000000",
+                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+                "value" : "1000000000000000000"
+            }
+        ],
+        "gas" : 9999,
+        "out" : [
+        ],
+        "post" : {
+            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
+                "balance" : 1000000000000000000,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+            ]
+        },
+        "pre" : {
+            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+                "balance" : 1000000000000000000,
+                "nonce" : 0,
+                "storage" : {
+                }
+            },
+            "code" : [
+                51,
+                255
+            ]
+        }
+    }
+}
\ No newline at end of file