{
    "name": "LibPcg64TestHarnessAlgoTs",
    "structs": {},
    "methods": [
        {
            "name": "get_pcg64_sequence_arc4_uint64_return",
            "args": [
                {
                    "type": "byte[16]",
                    "name": "seed"
                },
                {
                    "type": "uint64",
                    "name": "lower_bound"
                },
                {
                    "type": "uint64",
                    "name": "upper_bound"
                },
                {
                    "type": "uint16",
                    "name": "length"
                }
            ],
            "returns": {
                "type": "uint64[]"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "runtime_asserts_pcg64_stack_array",
            "args": [],
            "returns": {
                "type": "void"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "runtime_failure_stack_byteslice_overflow",
            "args": [],
            "returns": {
                "type": "void"
            },
            "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": [
                        473
                    ],
                    "errorMessage": "invalid number of bytes for arc4.static_array<arc4.uint8, 16>"
                },
                {
                    "pc": [
                        500
                    ],
                    "errorMessage": "invalid number of bytes for arc4.uint16"
                },
                {
                    "pc": [
                        482,
                        491
                    ],
                    "errorMessage": "invalid number of bytes for arc4.uint64"
                },
                {
                    "pc": [
                        211
                    ],
                    "errorMessage": "overflow"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYXJjNC9pbmRleC5kLnRzOjpDb250cmFjdC5hcHByb3ZhbFByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBpbnRjYmxvY2sgMSAxNiAwIDYzNjQxMzYyMjM4NDY3OTMwMDUgMTQ0MjY5NTA0MDg4ODk2MzQwNyAxNDQyNjk1MDQwODg4OTYzNDA5IDQyOTQ5NjcyOTUKICAgIHR4biBOdW1BcHBBcmdzCiAgICBieiBtYWluX19fYWxnb3RzX18uZGVmYXVsdENyZWF0ZUAxMAogICAgdHhuIE9uQ29tcGxldGlvbgogICAgIQogICAgYXNzZXJ0CiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgYXNzZXJ0CiAgICBwdXNoYnl0ZXNzIDB4NWY4YWUxODEgMHhjYTZmNDgzOCAweDZjMGI0ODk4IC8vIG1ldGhvZCAiZ2V0X3BjZzY0X3NlcXVlbmNlX2FyYzRfdWludDY0X3JldHVybihieXRlWzE2XSx1aW50NjQsdWludDY0LHVpbnQxNil1aW50NjRbXSIsIG1ldGhvZCAicnVudGltZV9hc3NlcnRzX3BjZzY0X3N0YWNrX2FycmF5KCl2b2lkIiwgbWV0aG9kICJydW50aW1lX2ZhaWx1cmVfc3RhY2tfYnl0ZXNsaWNlX292ZXJmbG93KCl2b2lkIgogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMAogICAgbWF0Y2ggZ2V0X3BjZzY0X3NlcXVlbmNlX2FyYzRfdWludDY0X3JldHVybiBydW50aW1lX2Fzc2VydHNfcGNnNjRfc3RhY2tfYXJyYXkgcnVudGltZV9mYWlsdXJlX3N0YWNrX2J5dGVzbGljZV9vdmVyZmxvdwogICAgZXJyCgptYWluX19fYWxnb3RzX18uZGVmYXVsdENyZWF0ZUAxMDoKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICAhCiAgICAmJgogICAgcmV0dXJuCgoKLy8gbGliX3BjZy9wY2czMi5hbGdvLnRzOjpfX3BjZzMyT3V0cHV0KHN0YXRlOiB1aW50NjQpIC0+IHVpbnQ2NDoKX19wY2czMk91dHB1dDoKICAgIHByb3RvIDEgMQogICAgZnJhbWVfZGlnIC0xCiAgICBwdXNoaW50IDE4CiAgICBzaHIKICAgIGZyYW1lX2RpZyAtMQogICAgXgogICAgcHVzaGludCAyNwogICAgc2hyCiAgICBpbnRjIDYgLy8gNDI5NDk2NzI5NQogICAgJgogICAgZnJhbWVfZGlnIC0xCiAgICBwdXNoaW50IDU5CiAgICBzaHIKICAgIGR1cDIKICAgIHNocgogICAgc3dhcAogICAgfgogICAgaW50Y18wIC8vIDEKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgcHVzaGludCAzMQogICAgJgogICAgdW5jb3ZlciAyCiAgICBzd2FwCiAgICBzaGwKICAgIGludGMgNiAvLyA0Mjk0OTY3Mjk1CiAgICAmCiAgICB8CiAgICByZXRzdWIKCgovLyBsaWJfcGNnL3BjZzY0LmFsZ28udHM6OnBjZzY0SW5pdChzZWVkOiBieXRlcykgLT4gYnl0ZXM6CnBjZzY0SW5pdDoKICAgIHByb3RvIDEgMQogICAgZnJhbWVfZGlnIC0xCiAgICBsZW4KICAgIGludGNfMSAvLyAxNgogICAgPT0KICAgIGFzc2VydAogICAgZnJhbWVfZGlnIC0xCiAgICBpbnRjXzIgLy8gMAogICAgZXh0cmFjdF91aW50NjQKICAgIGludGNfMiAvLyAwCiAgICBpbnRjXzMgLy8gNjM2NDEzNjIyMzg0Njc5MzAwNQogICAgbXVsdwogICAgYnVyeSAxCiAgICBkdXAKICAgIGludGMgNCAvLyAxNDQyNjk1MDQwODg4OTYzNDA3CiAgICBhZGR3CiAgICBidXJ5IDEKICAgIHVuY292ZXIgMgogICAgYWRkdwogICAgYnVyeSAxCiAgICBpbnRjXzMgLy8gNjM2NDEzNjIyMzg0Njc5MzAwNQogICAgbXVsdwogICAgYnVyeSAxCiAgICBpbnRjIDQgLy8gMTQ0MjY5NTA0MDg4ODk2MzQwNwogICAgYWRkdwogICAgY292ZXIgMgogICAgcG9wCiAgICBmcmFtZV9kaWcgLTEKICAgIHB1c2hpbnQgOAogICAgZXh0cmFjdF91aW50NjQKICAgIHN3YXAKICAgIGludGMgNSAvLyAxNDQyNjk1MDQwODg4OTYzNDA5CiAgICBhZGR3CiAgICBidXJ5IDEKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgaW50Y18zIC8vIDYzNjQxMzYyMjM4NDY3OTMwMDUKICAgIG11bHcKICAgIGJ1cnkgMQogICAgaW50YyA1IC8vIDE0NDI2OTUwNDA4ODg5NjM0MDkKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgc3dhcAogICAgaXRvYgogICAgc3dhcAogICAgaXRvYgogICAgY29uY2F0CiAgICByZXRzdWIKCgovLyBsaWJfcGNnL3BjZzY0LmFsZ28udHM6OnBjZzY0UmFuZG9tKHN0YXRlOiBieXRlcywgbG93ZXJCb3VuZDogdWludDY0LCB1cHBlckJvdW5kOiB1aW50NjQsIGxlbmd0aDogdWludDY0KSAtPiBieXRlczoKcGNnNjRSYW5kb206CiAgICBwcm90byA0IDEKICAgIHB1c2hieXRlcyAiIgogICAgZHVwbiA0CiAgICBmcmFtZV9kaWcgLTEKICAgIGl0b2IKICAgIGR1cAogICAgYml0bGVuCiAgICBpbnRjXzEgLy8gMTYKICAgIDw9CiAgICBhc3NlcnQgLy8gb3ZlcmZsb3cKICAgIGV4dHJhY3QgNiAyCiAgICBmcmFtZV9kaWcgLTMKICAgIGJueiBwY2c2NFJhbmRvbV9lbHNlX2JvZHlANgogICAgZnJhbWVfZGlnIC0yCiAgICBibnogcGNnNjRSYW5kb21fZWxzZV9ib2R5QDYKICAgIGludGNfMiAvLyAwCiAgICBmcmFtZV9idXJ5IDIKICAgIGZyYW1lX2RpZyAtNAoKcGNnNjRSYW5kb21fd2hpbGVfdG9wQDM6CiAgICBmcmFtZV9kaWcgMgogICAgZnJhbWVfZGlnIC0xCiAgICA8CiAgICBieiBwY2c2NFJhbmRvbV9hZnRlcl9pZl9lbHNlQDE5CiAgICBjYWxsc3ViIF9fcGNnNjRVbmJvdW5kZWRSYW5kb20KICAgIGR1cAogICAgZXh0cmFjdCAwIDE2CiAgICBzd2FwCiAgICBleHRyYWN0IDE2IDgKICAgIHVuY292ZXIgMgogICAgc3dhcAogICAgY29uY2F0CiAgICBzd2FwCiAgICBmcmFtZV9kaWcgMgogICAgaW50Y18wIC8vIDEKICAgICsKICAgIGZyYW1lX2J1cnkgMgogICAgYiBwY2c2NFJhbmRvbV93aGlsZV90b3BAMwoKcGNnNjRSYW5kb21fYWZ0ZXJfaWZfZWxzZUAxOToKICAgIHBvcAogICAgZnJhbWVfZGlnIC00CiAgICBwdXNoYnl0ZXMgMHgwMDEyCiAgICBjb25jYXQKICAgIHN3YXAKICAgIGNvbmNhdAogICAgZnJhbWVfYnVyeSAwCiAgICByZXRzdWIKCnBjZzY0UmFuZG9tX2Vsc2VfYm9keUA2OgogICAgZnJhbWVfZGlnIC0yCiAgICBieiBwY2c2NFJhbmRvbV9lbHNlX2JvZHlAOAogICAgZnJhbWVfZGlnIC0yCiAgICBpbnRjXzAgLy8gMQogICAgPgogICAgYXNzZXJ0CiAgICBmcmFtZV9kaWcgLTIKICAgIGludGNfMCAvLyAxCiAgICAtCiAgICBmcmFtZV9kaWcgLTMKICAgID4KICAgIGFzc2VydAogICAgZnJhbWVfZGlnIC0yCiAgICBmcmFtZV9kaWcgLTMKICAgIC0KICAgIGZyYW1lX2J1cnkgMAoKcGNnNjRSYW5kb21fYWZ0ZXJfaWZfZWxzZUA5OgogICAgZnJhbWVfZGlnIDAKICAgIGR1cAogICAgfgogICAgaW50Y18wIC8vIDEKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgc3dhcAogICAgJQogICAgZnJhbWVfYnVyeSA0CiAgICBpbnRjXzIgLy8gMAogICAgZnJhbWVfYnVyeSAzCiAgICBmcmFtZV9kaWcgLTQKCnBjZzY0UmFuZG9tX3doaWxlX3RvcEAxMDoKICAgIGZyYW1lX2RpZyAzCiAgICBmcmFtZV9kaWcgLTEKICAgIDwKICAgIGJ6IHBjZzY0UmFuZG9tX2FmdGVyX2lmX2Vsc2VAMTkKCnBjZzY0UmFuZG9tX3doaWxlX3RvcEAxMjoKICAgIGNhbGxzdWIgX19wY2c2NFVuYm91bmRlZFJhbmRvbQogICAgZHVwCiAgICBleHRyYWN0IDAgMTYKICAgIHN3YXAKICAgIGludGNfMSAvLyAxNgogICAgZXh0cmFjdF91aW50NjQKICAgIGR1cAogICAgZnJhbWVfYnVyeSAxCiAgICBmcmFtZV9kaWcgNAogICAgPj0KICAgIGJ6IHBjZzY0UmFuZG9tX3doaWxlX3RvcEAxMgogICAgZnJhbWVfZGlnIDEKICAgIGZyYW1lX2RpZyAwCiAgICAlCiAgICBmcmFtZV9kaWcgLTMKICAgICsKICAgIGl0b2IKICAgIHVuY292ZXIgMgogICAgc3dhcAogICAgY29uY2F0CiAgICBzd2FwCiAgICBmcmFtZV9kaWcgMwogICAgaW50Y18wIC8vIDEKICAgICsKICAgIGZyYW1lX2J1cnkgMwogICAgYiBwY2c2NFJhbmRvbV93aGlsZV90b3BAMTAKCnBjZzY0UmFuZG9tX2Vsc2VfYm9keUA4OgogICAgZnJhbWVfZGlnIC0zCiAgICBwdXNoaW50IDE4NDQ2NzQ0MDczNzA5NTUxNjE1CiAgICA8CiAgICBhc3NlcnQKICAgIGZyYW1lX2RpZyAtMwogICAgaXRvYgogICAgcHVzaGJ5dGVzIDB4MDEwMDAwMDAwMDAwMDAwMDAwCiAgICBzd2FwCiAgICBiLQogICAgYnRvaQogICAgZnJhbWVfYnVyeSAwCiAgICBiIHBjZzY0UmFuZG9tX2FmdGVyX2lmX2Vsc2VAOQoKCi8vIGxpYl9wY2cvcGNnNjQuYWxnby50czo6X19wY2c2NFVuYm91bmRlZFJhbmRvbShzdGF0ZTogYnl0ZXMpIC0+IGJ5dGVzOgpfX3BjZzY0VW5ib3VuZGVkUmFuZG9tOgogICAgcHJvdG8gMSAxCiAgICBmcmFtZV9kaWcgLTEKICAgIGludGNfMiAvLyAwCiAgICBleHRyYWN0X3VpbnQ2NAogICAgZHVwCiAgICBpbnRjXzMgLy8gNjM2NDEzNjIyMzg0Njc5MzAwNQogICAgbXVsdwogICAgYnVyeSAxCiAgICBpbnRjIDQgLy8gMTQ0MjY5NTA0MDg4ODk2MzQwNwogICAgYWRkdwogICAgYnVyeSAxCiAgICBmcmFtZV9kaWcgLTEKICAgIHB1c2hpbnQgOAogICAgZXh0cmFjdF91aW50NjQKICAgIGRpZyAxCiAgICAhCiAgICBpbnRjIDUgLy8gMTQ0MjY5NTA0MDg4ODk2MzQwOQogICAgc3dhcAogICAgc2hsCiAgICBkaWcgMQogICAgaW50Y18zIC8vIDYzNjQxMzYyMjM4NDY3OTMwMDUKICAgIG11bHcKICAgIGJ1cnkgMQogICAgYWRkdwogICAgYnVyeSAxCiAgICB1bmNvdmVyIDIKICAgIGl0b2IKICAgIHN3YXAKICAgIGl0b2IKICAgIGNvbmNhdAogICAgdW5jb3ZlciAyCiAgICBjYWxsc3ViIF9fcGNnMzJPdXRwdXQKICAgIHB1c2hpbnQgMzIKICAgIHNobAogICAgdW5jb3ZlciAyCiAgICBjYWxsc3ViIF9fcGNnMzJPdXRwdXQKICAgIHwKICAgIGl0b2IKICAgIGNvbmNhdAogICAgcmV0c3ViCgoKLy8gc21hcnRfY29udHJhY3RzL2xpYl9wY2c2NF90ZXN0X2hhcm5lc3MvY29udHJhY3QuYWxnby50czo6TGliUGNnNjRUZXN0SGFybmVzc0FsZ29Ucy5nZXRfcGNnNjRfc2VxdWVuY2VfYXJjNF91aW50NjRfcmV0dXJuW3JvdXRpbmddKCkgLT4gdm9pZDoKZ2V0X3BjZzY0X3NlcXVlbmNlX2FyYzRfdWludDY0X3JldHVybjoKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDEKICAgIGR1cAogICAgbGVuCiAgICBpbnRjXzEgLy8gMTYKICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQuc3RhdGljX2FycmF5PGFyYzQudWludDgsIDE2PgogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMgogICAgZHVwCiAgICBsZW4KICAgIHB1c2hpbnQgOAogICAgPT0KICAgIGFzc2VydCAvLyBpbnZhbGlkIG51bWJlciBvZiBieXRlcyBmb3IgYXJjNC51aW50NjQKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDMKICAgIGR1cAogICAgbGVuCiAgICBwdXNoaW50IDgKICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQudWludDY0CiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyA0CiAgICBkdXAKICAgIGxlbgogICAgcHVzaGludCAyCiAgICA9PQogICAgYXNzZXJ0IC8vIGludmFsaWQgbnVtYmVyIG9mIGJ5dGVzIGZvciBhcmM0LnVpbnQxNgogICAgdW5jb3ZlciAzCiAgICBjYWxsc3ViIHBjZzY0SW5pdAogICAgdW5jb3ZlciAzCiAgICBidG9pCiAgICB1bmNvdmVyIDMKICAgIGJ0b2kKICAgIHVuY292ZXIgMwogICAgYnRvaQogICAgY2FsbHN1YiBwY2c2NFJhbmRvbQogICAgZHVwCiAgICBpbnRjXzEgLy8gMTYKICAgIGV4dHJhY3RfdWludDE2CiAgICBkaWcgMQogICAgbGVuCiAgICBzdWJzdHJpbmczCiAgICBwdXNoYnl0ZXMgMHgxNTFmN2M3NQogICAgc3dhcAogICAgY29uY2F0CiAgICBsb2cKICAgIGludGNfMCAvLyAxCiAgICByZXR1cm4KCgovLyBzbWFydF9jb250cmFjdHMvbGliX3BjZzY0X3Rlc3RfaGFybmVzcy9jb250cmFjdC5hbGdvLnRzOjpMaWJQY2c2NFRlc3RIYXJuZXNzQWxnb1RzLnJ1bnRpbWVfYXNzZXJ0c19wY2c2NF9zdGFja19hcnJheVtyb3V0aW5nXSgpIC0+IHZvaWQ6CnJ1bnRpbWVfYXNzZXJ0c19wY2c2NF9zdGFja19hcnJheToKICAgIGludGNfMSAvLyAxNgogICAgYnplcm8KICAgIGNhbGxzdWIgcGNnNjRJbml0CiAgICBpbnRjXzIgLy8gMAogICAgZHVwCiAgICBwdXNoaW50IDUwOQogICAgY2FsbHN1YiBwY2c2NFJhbmRvbQogICAgcG9wCiAgICBpbnRjXzAgLy8gMQogICAgcmV0dXJuCgoKLy8gc21hcnRfY29udHJhY3RzL2xpYl9wY2c2NF90ZXN0X2hhcm5lc3MvY29udHJhY3QuYWxnby50czo6TGliUGNnNjRUZXN0SGFybmVzc0FsZ29Ucy5ydW50aW1lX2ZhaWx1cmVfc3RhY2tfYnl0ZXNsaWNlX292ZXJmbG93W3JvdXRpbmddKCkgLT4gdm9pZDoKcnVudGltZV9mYWlsdXJlX3N0YWNrX2J5dGVzbGljZV9vdmVyZmxvdzoKICAgIGludGNfMSAvLyAxNgogICAgYnplcm8KICAgIGNhbGxzdWIgcGNnNjRJbml0CiAgICBpbnRjXzIgLy8gMAogICAgZHVwCiAgICBwdXNoaW50IDUxMAogICAgY2FsbHN1YiBwY2c2NFJhbmRvbQogICAgcG9wCiAgICBpbnRjXzAgLy8gMQogICAgcmV0dXJuCg==",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYmFzZS1jb250cmFjdC5kLnRzOjpCYXNlQ29udHJhY3QuY2xlYXJTdGF0ZVByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBwdXNoaW50IDEKICAgIHJldHVybgo="
    },
    "byteCode": {
        "approval": "CyAHARAArf7V5NSF/ahYz4Keu+/v3oIU0YKeu+/v3oIU/////w8xG0EAJDEZFEQxGESCAwRfiuGBBMpvSDgEbAtImDYaAI4DAYQBygHaADEZFDEYFBBDigEBi/+BEpGL/xuBG5EhBhqL/4E7kUqRTBwiHkUBgR8aTwJMkCEGGhmJigEBi/8VIxJEi/8kWyQlHUUBSSEEHkUBTwIeRQElHUUBIQQeTgJIi/+BCFtMIQUeRQEeRQElHUUBIQUeRQFMFkwWUImKBAGAAEcEi/8WSZMjDkRXBgKL/UAAOIv+QAAzJIwCi/yLAov/DEEAGYgApElXABBMVxAITwJMUEyLAiIIjAJC/99Ii/yAAgASUExQjACJi/5BAFeL/iINRIv+IgmL/Q1Ei/6L/QmMAIsASRwiHkUBTBiMBCSMA4v8iwOL/wxB/8GIAExJVwAQTCNbSYwBiwQPQf/tiwGLABiL/QgWTwJMUEyLAyIIjANC/86L/YH///////////8BDESL/RaACQEAAAAAAAAAAEyhF4wAQv+YigEBi/8kW0klHUUBIQQeRQGL/4EIW0sBFCEFTJBLASUdRQEeRQFPAhZMFlBPAoj+kYEgkE8CiP6JGRZQiTYaAUkVIxJENhoCSRWBCBJENhoDSRWBCBJENhoESRWBAhJETwOI/odPAxdPAxdPAxeI/r9JI1lLARVSgAQVH3x1TFCwIkMjr4j+ZCRJgf0DiP6gSCJDI6+I/lQkSYH+A4j+kEgiQw==",
        "clear": "C4EBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 5,
            "minor": 9,
            "patch": 0
        }
    },
    "events": [],
    "templateVariables": {}
}