{
    "name": "BoxReadBoxLenExistenceCheck",
    "structs": {},
    "methods": [
        {
            "name": "len_via_value",
            "args": [],
            "returns": {
                "type": "uint64"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        }
    ],
    "arcs": [
        22,
        28
    ],
    "networks": {},
    "state": {
        "schema": {
            "global": {
                "ints": 0,
                "bytes": 0
            },
            "local": {
                "ints": 0,
                "bytes": 0
            }
        },
        "keys": {
            "global": {},
            "local": {},
            "box": {
                "box": {
                    "keyType": "AVMBytes",
                    "valueType": "AVMBytes",
                    "key": "aw=="
                }
            }
        },
        "maps": {
            "global": {},
            "local": {},
            "box": {}
        }
    },
    "bareActions": {
        "create": [
            "NoOp"
        ],
        "call": []
    },
    "sourceInfo": {
        "approval": {
            "sourceInfo": [
                {
                    "pc": [
                        42
                    ],
                    "errorMessage": "check self.box exists"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuYXBwcm92YWxfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYm94X3JlYWRfYm94X2xlbl9leGlzdGVuY2VfY2hlY2sucHk6NAogICAgLy8gY2xhc3MgQm94UmVhZEJveExlbkV4aXN0ZW5jZUNoZWNrKEFSQzRDb250cmFjdCk6CiAgICB0eG4gTnVtQXBwQXJncwogICAgYnogbWFpbl9fX2FsZ29weV9kZWZhdWx0X2NyZWF0ZUA3CiAgICBwdXNoYnl0ZXMgMHhlMWViNDI5NyAvLyBtZXRob2QgImxlbl92aWFfdmFsdWUoKXVpbnQ2NCIKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDAKICAgIG1hdGNoIG1haW5fbGVuX3ZpYV92YWx1ZV9yb3V0ZUA1CiAgICBlcnIKCm1haW5fbGVuX3ZpYV92YWx1ZV9yb3V0ZUA1OgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9ib3hfcmVhZF9ib3hfbGVuX2V4aXN0ZW5jZV9jaGVjay5weTo4CiAgICAvLyBAYXJjNC5hYmltZXRob2QKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICAmJgogICAgYXNzZXJ0CiAgICBiIGxlbl92aWFfdmFsdWUKCm1haW5fX19hbGdvcHlfZGVmYXVsdF9jcmVhdGVANzoKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICAhCiAgICAmJgogICAgcmV0dXJuCgoKLy8gdGVzdF9jYXNlcy5yZWdyZXNzaW9uX3Rlc3RzLmJveF9yZWFkX2JveF9sZW5fZXhpc3RlbmNlX2NoZWNrLkJveFJlYWRCb3hMZW5FeGlzdGVuY2VDaGVjay5sZW5fdmlhX3ZhbHVlW3JvdXRpbmddKCkgLT4gdm9pZDoKbGVuX3ZpYV92YWx1ZToKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYm94X3JlYWRfYm94X2xlbl9leGlzdGVuY2VfY2hlY2sucHk6MTAtMTEKICAgIC8vICMgdGhpcyBzaG91bGQgZmFpbCBhcyB0aGUgYm94IGRvZXMgbm90IGV4aXN0CiAgICAvLyB2ID0gc2VsZi5ib3gudmFsdWUKICAgIHB1c2hieXRlcyAweDZiCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2JveF9yZWFkX2JveF9sZW5fZXhpc3RlbmNlX2NoZWNrLnB5OjEwLTEyCiAgICAvLyAjIHRoaXMgc2hvdWxkIGZhaWwgYXMgdGhlIGJveCBkb2VzIG5vdCBleGlzdAogICAgLy8gdiA9IHNlbGYuYm94LnZhbHVlCiAgICAvLyByZXR1cm4gdi5sZW5ndGgKICAgIGJveF9sZW4KICAgIGFzc2VydCAvLyBjaGVjayBzZWxmLmJveCBleGlzdHMKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYm94X3JlYWRfYm94X2xlbl9leGlzdGVuY2VfY2hlY2sucHk6OAogICAgLy8gQGFyYzQuYWJpbWV0aG9kCiAgICBpdG9iCiAgICBwdXNoYnl0ZXMgMHgxNTFmN2M3NQogICAgc3dhcAogICAgY29uY2F0CiAgICBsb2cKICAgIHB1c2hpbnQgMQogICAgcmV0dXJuCg==",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuY2xlYXJfc3RhdGVfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIHB1c2hpbnQgMQogICAgcmV0dXJuCg=="
    },
    "byteCode": {
        "approval": "CzEbQQAYgATh60KXNhoAjgEAAQAxGRQxGBBEQgAIMRkUMRgUEEOAAWu9RBaABBUffHVMULCBAUM=",
        "clear": "C4EBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 99,
            "minor": 99,
            "patch": 99
        }
    },
    "events": [],
    "templateVariables": {}
}