{
  "cli": [
    "pretty-print",
    "0xef000101000402000100130300010043040000000080000436600060003736600060006000ec0060005500ef0001010004020001000b03000100200400000000800003366000600037366000ee00ef0001010004020001000d0400400000800002d10000600055d1002060015500"
  ],
  "stdin": "",
  "stdout": "0x # EOF\nef0001 # Magic and Version ( 1 )\n010004 # Types length ( 4 )\n020001 # Total code sections ( 1 )\n  0013 # Code section 0 , 19 bytes\n030001 # Total subcontainers ( 1 )\n  0043 # Sub container 0, 67 byte\n040000 # Data section length(  0 )\n    00 # Terminator (end of header)\n       # Code section 0 types\n    00 # 0 inputs \n    80 # 0 outputs  (Non-returning function)\n  0004 # max stack:  4\n       # Code section 0 - in=0 out=non-returning height=4\n    36 # [0] CALLDATASIZE\n  6000 # [1] PUSH1(0)\n  6000 # [3] PUSH1(0)\n    37 # [5] CALLDATACOPY\n    36 # [6] CALLDATASIZE\n  6000 # [7] PUSH1(0)\n  6000 # [9] PUSH1(0)\n  6000 # [11] PUSH1(0)\n  ec00 # [13] EOFCREATE(0)\n  6000 # [15] PUSH1(0)\n    55 # [17] SSTORE\n    00 # [18] STOP\n           # Subcontainer 0 starts here\n    ef0001 # Magic and Version ( 1 )\n    010004 # Types length ( 4 )\n    020001 # Total code sections ( 1 )\n      000b # Code section 0 , 11 bytes\n    030001 # Total subcontainers ( 1 )\n      0020 # Sub container 0, 32 byte\n    040000 # Data section length(  0 )    \n        00 # Terminator (end of header)\n           # Code section 0 types\n        00 # 0 inputs \n        80 # 0 outputs  (Non-returning function)\n      0003 # max stack:  3\n           # Code section 0 - in=0 out=non-returning height=3\n        36 # [0] CALLDATASIZE\n      6000 # [1] PUSH1(0)\n      6000 # [3] PUSH1(0)\n        37 # [5] CALLDATACOPY\n        36 # [6] CALLDATASIZE\n      6000 # [7] PUSH1(0)\n      ee00 # [9] RETURNCONTRACT(0)\n               # Subcontainer 0.0 starts here\n        ef0001 # Magic and Version ( 1 )\n        010004 # Types length ( 4 )\n        020001 # Total code sections ( 1 )\n          000d # Code section 0 , 13 bytes\n        040040 # Data section length(  64 ) (actual size 0)        \n            00 # Terminator (end of header)\n               # Code section 0 types\n            00 # 0 inputs \n            80 # 0 outputs  (Non-returning function)\n          0002 # max stack:  2\n               # Code section 0 - in=0 out=non-returning height=2\n        d10000 # [0] DATALOADN(0x0000)\n          6000 # [3] PUSH1(0)\n            55 # [5] SSTORE\n        d10020 # [6] DATALOADN(0x0020)\n          6001 # [9] PUSH1(1)\n            55 # [11] SSTORE\n            00 # [12] STOP\n               # Data section (empty)\n               # Subcontainer 0.0 ends\n           # Data section (empty)\n           # Subcontainer 0 ends\n       # Data section (empty)\n"
}