{
    "name": "ConstBigIntToIntOverflow",
    "structs": {},
    "methods": [
        {
            "name": "get_abs_bound1",
            "args": [
                {
                    "type": "uint64",
                    "name": "upper_bound"
                }
            ],
            "returns": {
                "type": "uint64"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "get_abs_bound2",
            "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": {}
        },
        "maps": {
            "global": {},
            "local": {},
            "box": {}
        }
    },
    "bareActions": {
        "create": [
            "NoOp"
        ],
        "call": []
    },
    "sourceInfo": {
        "approval": {
            "sourceInfo": [
                {
                    "pc": [
                        68
                    ],
                    "errorMessage": "invalid number of bytes for arc4.uint64"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuYXBwcm92YWxfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIGJ5dGVjYmxvY2sgMHgwMTAwMDAwMDAwMDAwMDAwMDAgMHgxNTFmN2M3NQogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9iaWd1aW50X29wdC5weTo0CiAgICAvLyBjbGFzcyBDb25zdEJpZ0ludFRvSW50T3ZlcmZsb3coYXJjNC5BUkM0Q29udHJhY3QpOgogICAgdHhuIE51bUFwcEFyZ3MKICAgIGJ6IG1haW5fX19hbGdvcHlfZGVmYXVsdF9jcmVhdGVAOQogICAgdHhuIE9uQ29tcGxldGlvbgogICAgIQogICAgYXNzZXJ0CiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgYXNzZXJ0CiAgICBwdXNoYnl0ZXNzIDB4NThkYjdjZTkgMHhjOTVjMDFjYSAvLyBtZXRob2QgImdldF9hYnNfYm91bmQxKHVpbnQ2NCl1aW50NjQiLCBtZXRob2QgImdldF9hYnNfYm91bmQyKCl1aW50NjQiCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAwCiAgICBtYXRjaCBnZXRfYWJzX2JvdW5kMSBnZXRfYWJzX2JvdW5kMgogICAgZXJyCgptYWluX19fYWxnb3B5X2RlZmF1bHRfY3JlYXRlQDk6CiAgICB0eG4gT25Db21wbGV0aW9uCiAgICAhCiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgIQogICAgJiYKICAgIHJldHVybgoKCi8vIHRlc3RfY2FzZXMucmVncmVzc2lvbl90ZXN0cy5iaWd1aW50X29wdC5Db25zdEJpZ0ludFRvSW50T3ZlcmZsb3cuZ2V0X2Fic19ib3VuZDFbcm91dGluZ10oKSAtPiB2b2lkOgpnZXRfYWJzX2JvdW5kMToKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYmlndWludF9vcHQucHk6NQogICAgLy8gQGFyYzQuYWJpbWV0aG9kKCkKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDEKICAgIGR1cAogICAgbGVuCiAgICBwdXNoaW50IDgKICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQudWludDY0CiAgICBidG9pCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2JpZ3VpbnRfb3B0LnB5OjcKICAgIC8vIGFic19ib3VuZCA9IGxvd2VyX2JvdW5kID0gVUludDY0KDApCiAgICBwdXNoaW50IDAKICAgIHN3YXAKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYmlndWludF9vcHQucHk6OAogICAgLy8gaWYgdXBwZXJfYm91bmQ6CiAgICBieiBnZXRfYWJzX2JvdW5kMV9hZnRlcl9pZl9lbHNlQDMKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYmlndWludF9vcHQucHk6OS0xMwogICAgLy8gIyBpZiB1cHBlciBib3VuZCBpcyB0cnV0aHksIHRoZW4gdGhpcyB3aWxsIGVycm9yIGF0IHJ1biB0aW1lCiAgICAvLyAjIGJ1dCBvcHRpbWl6ZXIgc2hvdWxkIG5vdCByZXBsYWNlIHRoaXMgb3AgaW4gdGhpcyBjYXNlIHNpbmNlIGl0IGlzIGd1YXJkZWQKICAgIC8vICMgVE9ETzogaXQgd291bGQgYmUgbmljZSBpZiB0aGUgb3B0aW1pemVyIGNvdWxkIGp1c3QgcmVwbGFjZSB0aGlzIGZhaWx1cmUKICAgIC8vICMgICAgICAgd2l0aCBhbiBlcnIsIGJ1dCB0aGF0IHdvdWxkIHJlcXVpcmUgdGVybWluYXRpbmcgdGhlIGJsb2NrIGFzIHBhcnQgb2Ygb3B0aW1pemluZwogICAgLy8gYWJzX2JvdW5kID0gb3AuYnRvaSgoQmlnVUludCgxIDw8IDY0KSAtIGxvd2VyX2JvdW5kKS5ieXRlcykKICAgIGJ5dGVjXzAgLy8gMHgwMTAwMDAwMDAwMDAwMDAwMDAKICAgIGJ0b2kKICAgIGJ1cnkgMQoKZ2V0X2Fic19ib3VuZDFfYWZ0ZXJfaWZfZWxzZUAzOgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9iaWd1aW50X29wdC5weTo1CiAgICAvLyBAYXJjNC5hYmltZXRob2QoKQogICAgZHVwCiAgICBpdG9iCiAgICBieXRlY18xIC8vIDB4MTUxZjdjNzUKICAgIHN3YXAKICAgIGNvbmNhdAogICAgbG9nCiAgICBwdXNoaW50IDEKICAgIHJldHVybgoKCi8vIHRlc3RfY2FzZXMucmVncmVzc2lvbl90ZXN0cy5iaWd1aW50X29wdC5Db25zdEJpZ0ludFRvSW50T3ZlcmZsb3cuZ2V0X2Fic19ib3VuZDJbcm91dGluZ10oKSAtPiB2b2lkOgpnZXRfYWJzX2JvdW5kMjoKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYmlndWludF9vcHQucHk6MTktMjEKICAgIC8vICMgdGhpcyB2YXJpYW50IHJlc3VsdGVkIGluIHRoZSBvcHRpbWl6YXRpb24gYnVnIGFwcGVhcmluZyBpbiB0aGUgcm91dGVyIGFmdGVyIGlubGluaW5nCiAgICAvLyAjIHRoaXMgZnVuY3Rpb24KICAgIC8vIGFic19ib3VuZCA9IG9wLmJ0b2koKEJpZ1VJbnQoMSA8PCA2NCkgLSAwKS5ieXRlcykKICAgIGJ5dGVjXzAgLy8gMHgwMTAwMDAwMDAwMDAwMDAwMDAKICAgIGJ0b2kKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvYmlndWludF9vcHQucHk6MTcKICAgIC8vIEBhcmM0LmFiaW1ldGhvZCgpCiAgICBpdG9iCiAgICBieXRlY18xIC8vIDB4MTUxZjdjNzUKICAgIHN3YXAKICAgIGNvbmNhdAogICAgbG9nCiAgICBwdXNoaW50IDEKICAgIHJldHVybgo=",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuY2xlYXJfc3RhdGVfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIHB1c2hpbnQgMQogICAgcmV0dXJuCg=="
    },
    "byteCode": {
        "approval": "CyYCCQEAAAAAAAAAAAQVH3x1MRtBAB0xGRREMRhEggIEWNt86QTJXAHKNhoAjgIACQAmADEZFDEYFBBDNhoBSRWBCBJEF4EATEEABCgXRQFJFilMULCBAUMoFxYpTFCwgQFD",
        "clear": "C4EBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 99,
            "minor": 99,
            "patch": 99
        }
    },
    "events": [],
    "templateVariables": {}
}