
======= <stdin> (EVM) =======

EVM assembly:
{
    ".code": [
        {
            "begin": 0,
            "end": 125,
            "name": "PUSH",
            "source": 0,
            "value": "80"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "DUP1",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "PUSH",
            "source": 0,
            "value": "40"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "MSTORE",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "CALLVALUE",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "PUSH [tag]",
            "source": 0,
            "value": "1"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "JUMPI",
            "source": 0
        },
        {
            "begin": 56,
            "end": 57,
            "name": "PUSH",
            "source": 0,
            "value": "2"
        },
        {
            "begin": 33,
            "end": 34,
            "name": "PUSH",
            "source": 0,
            "value": "0"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "SSTORE",
            "source": 0
        },
        {
            "begin": 33,
            "end": 34,
            "name": "PUSH",
            "source": 0,
            "value": "0"
        },
        {
            "begin": 33,
            "end": 34,
            "name": "PUSH",
            "source": 0,
            "value": "1"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "SSTORE",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "PUSH #[$]",
            "source": 0,
            "value": "0000000000000000000000000000000000000000000000000000000000000000"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "SWAP1",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "DUP2",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "PUSH [$]",
            "source": 0,
            "value": "0000000000000000000000000000000000000000000000000000000000000000"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "DUP3",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "CODECOPY",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "RETURN",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "tag",
            "source": 0,
            "value": "1"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "JUMPDEST",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "PUSH",
            "source": 0,
            "value": "0"
        },
        {
            "begin": 0,
            "end": 125,
            "name": "DUP1",
            "source": 0
        },
        {
            "begin": 0,
            "end": 125,
            "name": "REVERT",
            "source": 0
        }
    ],
    ".data": {
        "0": {
            ".auxdata": "1234abcd",
            ".code": [
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "80"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "DUP1",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "40"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "MSTORE",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "4"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "CALLDATASIZE",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "LT",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "ISZERO",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH [tag]",
                    "source": 0,
                    "value": "1"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "JUMPI",
                    "source": 0
                },
                {
                    "begin": -1,
                    "end": -1,
                    "name": "tag",
                    "source": -1,
                    "value": "2"
                },
                {
                    "begin": -1,
                    "end": -1,
                    "name": "JUMPDEST",
                    "source": -1
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "0"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "DUP1",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "REVERT",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "tag",
                    "source": 0,
                    "value": "1"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "JUMPDEST",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "0"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "CALLDATALOAD",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "E0"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "SHR",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "B4F40C61"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "SUB",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH [tag]",
                    "source": 0,
                    "value": "2"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "JUMPI",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "PUSH",
                    "source": 0,
                    "value": "20"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "SWAP1",
                    "source": 0
                },
                {
                    "begin": 40,
                    "end": 57,
                    "name": "PUSH",
                    "source": 0,
                    "value": "1"
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "SLOAD",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "DUP2",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "MSTORE",
                    "source": 0
                },
                {
                    "begin": 0,
                    "end": 125,
                    "name": "RETURN",
                    "source": 0
                }
            ]
        }
    },
    "sourceList": [
        "state_var_initialization.sol"
    ]
}
