{"abi":[],"bytecode":{"object":"0x602d6037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"335:16140:183:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;335:16140:183;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c634300080f000a","sourceMap":"335:16140:183:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.15+commit.e14f2714\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/cannon/libraries/MIPSSyscalls.sol\":\"MIPSSyscalls\"},\"evmVersion\":\"london\",\"libraries\":{\"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker\":\"0x4200000000000000000000000000000000000776\"},\"metadata\":{\"bytecodeHash\":\"none\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[\":@lib-keccak/=lib/lib-keccak/contracts/lib/\",\":@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/\",\":@rari-capital/solmate/=lib/solmate/\",\":@solady-test/=lib/lib-keccak/lib/solady/test/\",\":@solady/=lib/solady/src/\",\":automate/=lib/automate/contracts/\",\":ds-test/=lib/forge-std/lib/ds-test/src/\",\":erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":gelato/=lib/automate/contracts/\",\":hardhat/=lib/automate/node_modules/hardhat/\",\":kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/\",\":lib-keccak/=lib/lib-keccak/contracts/\",\":openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\",\":openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/\",\":openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/\",\":prb-test/=lib/automate/lib/prb-test/src/\",\":prb/-est/=lib/automate/lib/prb-test/src/\",\":safe-contracts/=lib/safe-contracts/contracts/\",\":solady/=lib/solady/\",\":solmate/=lib/solmate/src/\"]},\"sources\":{\"src/cannon/PreimageKeyLib.sol\":{\"keccak256\":\"0x082e910b8a3f523ac0920f0bc5a09e127fe9e48127694e5a0efce820d4654e85\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://bce8c13880b75f2d8561188279b2333c455c831216fc29375570d9c93767c6cc\",\"dweb:/ipfs/QmRmworxD49TBLcLS81sNUEfkQVgg3tf2L6pUDCduDJvWm\"]},\"src/cannon/interfaces/IPreimageOracle.sol\":{\"keccak256\":\"0x53e6cada4297de6604a9f4b8f47b6d38a3506b8b1ae1a0f4bb1abb5276396bca\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://39a5645dde6d80af9fb08044b8c8555b5d09a66314de00d5f92dc33dfb8c10a5\",\"dweb:/ipfs/QmQDJY2AudK3CFR2J8mC4uVtiiPnzCVHAyNwAxPmyNd6n3\"]},\"src/cannon/libraries/MIPSMemory.sol\":{\"keccak256\":\"0x8a5471cbb960eaf06ea63bb00914ed918bac31c6ac2b63841f7139983fc12467\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://7a807605f1f43e19032ec17bb08129654e45cc61497c53e1809e020a23cdc146\",\"dweb:/ipfs/QmQkAkoGFPBP8Lf4gDrVDtUQtBqij9YrSu4wfGdkEq2mYf\"]},\"src/cannon/libraries/MIPSState.sol\":{\"keccak256\":\"0x4117ee1196551fb8bc0efe4eb993c68c7bb5a43f2fd485b584750d983e265e4f\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://d2d4a8c3ac446e7b07e2b09c12de2bd9634bfa30813c9aac4beaf2cd6bd7df57\",\"dweb:/ipfs/QmVps9QSssybT6i6ieVF8QPQ5rc3vF2vZ91Es9jFBN7Rda\"]},\"src/cannon/libraries/MIPSSyscalls.sol\":{\"keccak256\":\"0x77bbb949eee3ff58e47f1732bdb883bd2dc50c4595217b61ea994eaa8e7da753\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://84533c3074e2c471889e1f8b8d52782401add93e9440b56513785ef371a30e2c\",\"dweb:/ipfs/QmbdzRAbVwTu7ty9GKQYHtTsThqHjUfjmLWf5v7VMFnFzs\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.15+commit.e14f2714"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@lib-keccak/=lib/lib-keccak/contracts/lib/","@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@openzeppelin/contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","@openzeppelin/contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/contracts/","@rari-capital/solmate/=lib/solmate/","@solady-test/=lib/lib-keccak/lib/solady/test/","@solady/=lib/solady/src/","automate/=lib/automate/contracts/","ds-test/=lib/forge-std/lib/ds-test/src/","erc4626-tests/=lib/openzeppelin-contracts_v5.0.1/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","gelato/=lib/automate/contracts/","hardhat/=lib/automate/node_modules/hardhat/","kontrol-cheatcodes/=lib/kontrol-cheatcodes/src/","lib-keccak/=lib/lib-keccak/contracts/","openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/","openzeppelin-contracts/=lib/openzeppelin-contracts/","openzeppelin-contracts_v3.1.0/=lib/openzeppelin-contracts_v3.1.0/contracts/","openzeppelin-contracts_v5.0.1/=lib/openzeppelin-contracts_v5.0.1/","prb-test/=lib/automate/lib/prb-test/src/","prb/-est/=lib/automate/lib/prb-test/src/","safe-contracts/=lib/safe-contracts/contracts/","solady/=lib/solady/","solmate/=lib/solmate/src/"],"optimizer":{"enabled":true,"runs":999999},"metadata":{"bytecodeHash":"none"},"compilationTarget":{"src/cannon/libraries/MIPSSyscalls.sol":"MIPSSyscalls"},"evmVersion":"london","libraries":{"src/tokamak-contracts/USDC/L2/tokamak-USDC/v2/FiatTokenV2_2.sol:SignatureChecker":"0x4200000000000000000000000000000000000776"}},"sources":{"src/cannon/PreimageKeyLib.sol":{"keccak256":"0x082e910b8a3f523ac0920f0bc5a09e127fe9e48127694e5a0efce820d4654e85","urls":["bzz-raw://bce8c13880b75f2d8561188279b2333c455c831216fc29375570d9c93767c6cc","dweb:/ipfs/QmRmworxD49TBLcLS81sNUEfkQVgg3tf2L6pUDCduDJvWm"],"license":"MIT"},"src/cannon/interfaces/IPreimageOracle.sol":{"keccak256":"0x53e6cada4297de6604a9f4b8f47b6d38a3506b8b1ae1a0f4bb1abb5276396bca","urls":["bzz-raw://39a5645dde6d80af9fb08044b8c8555b5d09a66314de00d5f92dc33dfb8c10a5","dweb:/ipfs/QmQDJY2AudK3CFR2J8mC4uVtiiPnzCVHAyNwAxPmyNd6n3"],"license":"MIT"},"src/cannon/libraries/MIPSMemory.sol":{"keccak256":"0x8a5471cbb960eaf06ea63bb00914ed918bac31c6ac2b63841f7139983fc12467","urls":["bzz-raw://7a807605f1f43e19032ec17bb08129654e45cc61497c53e1809e020a23cdc146","dweb:/ipfs/QmQkAkoGFPBP8Lf4gDrVDtUQtBqij9YrSu4wfGdkEq2mYf"],"license":"MIT"},"src/cannon/libraries/MIPSState.sol":{"keccak256":"0x4117ee1196551fb8bc0efe4eb993c68c7bb5a43f2fd485b584750d983e265e4f","urls":["bzz-raw://d2d4a8c3ac446e7b07e2b09c12de2bd9634bfa30813c9aac4beaf2cd6bd7df57","dweb:/ipfs/QmVps9QSssybT6i6ieVF8QPQ5rc3vF2vZ91Es9jFBN7Rda"],"license":"MIT"},"src/cannon/libraries/MIPSSyscalls.sol":{"keccak256":"0x77bbb949eee3ff58e47f1732bdb883bd2dc50c4595217b61ea994eaa8e7da753","urls":["bzz-raw://84533c3074e2c471889e1f8b8d52782401add93e9440b56513785ef371a30e2c","dweb:/ipfs/QmbdzRAbVwTu7ty9GKQYHtTsThqHjUfjmLWf5v7VMFnFzs"],"license":"MIT"}},"version":1},"storageLayout":{"storage":[],"types":{}},"userdoc":{"version":1,"kind":"user"},"devdoc":{"version":1,"kind":"dev"},"ast":{"absolutePath":"src/cannon/libraries/MIPSSyscalls.sol","id":105709,"exportedSymbols":{"IPreimageOracle":[102623],"MIPSMemory":[104812],"MIPSSyscalls":[105708],"PreimageKeyLib":[101031],"st":[104824]},"nodeType":"SourceUnit","src":"32:16444:183","nodes":[{"id":104826,"nodeType":"PragmaDirective","src":"32:23:183","nodes":[],"literals":["solidity","0.8",".15"]},{"id":104828,"nodeType":"ImportDirective","src":"57:65:183","nodes":[],"absolutePath":"src/cannon/libraries/MIPSMemory.sol","file":"src/cannon/libraries/MIPSMemory.sol","nameLocation":"-1:-1:-1","scope":105709,"sourceUnit":104813,"symbolAliases":[{"foreign":{"id":104827,"name":"MIPSMemory","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":104812,"src":"66:10:183","typeDescriptions":{}},"nameLocation":"-1:-1:-1"}],"unitAlias":""},{"id":104830,"nodeType":"ImportDirective","src":"123:69:183","nodes":[],"absolutePath":"src/cannon/libraries/MIPSState.sol","file":"src/cannon/libraries/MIPSState.sol","nameLocation":"-1:-1:-1","scope":105709,"sourceUnit":104825,"symbolAliases":[{"foreign":{"id":104829,"name":"MIPSState","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":104824,"src":"132:9:183","typeDescriptions":{}},"local":"st","nameLocation":"-1:-1:-1"}],"unitAlias":""},{"id":104832,"nodeType":"ImportDirective","src":"193:76:183","nodes":[],"absolutePath":"src/cannon/interfaces/IPreimageOracle.sol","file":"src/cannon/interfaces/IPreimageOracle.sol","nameLocation":"-1:-1:-1","scope":105709,"sourceUnit":102624,"symbolAliases":[{"foreign":{"id":104831,"name":"IPreimageOracle","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":102623,"src":"202:15:183","typeDescriptions":{}},"nameLocation":"-1:-1:-1"}],"unitAlias":""},{"id":104834,"nodeType":"ImportDirective","src":"270:63:183","nodes":[],"absolutePath":"src/cannon/PreimageKeyLib.sol","file":"src/cannon/PreimageKeyLib.sol","nameLocation":"-1:-1:-1","scope":105709,"sourceUnit":101032,"symbolAliases":[{"foreign":{"id":104833,"name":"PreimageKeyLib","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":101031,"src":"279:14:183","typeDescriptions":{}},"nameLocation":"-1:-1:-1"}],"unitAlias":""},{"id":105708,"nodeType":"ContractDefinition","src":"335:16140:183","nodes":[{"id":104863,"nodeType":"StructDefinition","src":"362:844:183","nodes":[],"canonicalName":"MIPSSyscalls.SysReadParams","members":[{"constant":false,"id":104837,"mutability":"mutable","name":"a0","nameLocation":"444:2:183","nodeType":"VariableDeclaration","scope":104863,"src":"437:9:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104836,"name":"uint32","nodeType":"ElementaryTypeName","src":"437:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":104840,"mutability":"mutable","name":"a1","nameLocation":"536:2:183","nodeType":"VariableDeclaration","scope":104863,"src":"529:9:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104839,"name":"uint32","nodeType":"ElementaryTypeName","src":"529:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":104843,"mutability":"mutable","name":"a2","nameLocation":"620:2:183","nodeType":"VariableDeclaration","scope":104863,"src":"613:9:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104842,"name":"uint32","nodeType":"ElementaryTypeName","src":"613:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":104846,"mutability":"mutable","name":"preimageKey","nameLocation":"705:11:183","nodeType":"VariableDeclaration","scope":104863,"src":"697:19:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":104845,"name":"bytes32","nodeType":"ElementaryTypeName","src":"697:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"},{"constant":false,"id":104849,"mutability":"mutable","name":"preimageOffset","nameLocation":"804:14:183","nodeType":"VariableDeclaration","scope":104863,"src":"797:21:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104848,"name":"uint32","nodeType":"ElementaryTypeName","src":"797:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":104852,"mutability":"mutable","name":"localContext","nameLocation":"909:12:183","nodeType":"VariableDeclaration","scope":104863,"src":"901:20:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":104851,"name":"bytes32","nodeType":"ElementaryTypeName","src":"901:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"},{"constant":false,"id":104856,"mutability":"mutable","name":"oracle","nameLocation":"1010:6:183","nodeType":"VariableDeclaration","scope":104863,"src":"994:22:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_contract$_IPreimageOracle_$102623","typeString":"contract IPreimageOracle"},"typeName":{"id":104855,"nodeType":"UserDefinedTypeName","pathNode":{"id":104854,"name":"IPreimageOracle","nodeType":"IdentifierPath","referencedDeclaration":102623,"src":"994:15:183"},"referencedDeclaration":102623,"src":"994:15:183","typeDescriptions":{"typeIdentifier":"t_contract$_IPreimageOracle_$102623","typeString":"contract IPreimageOracle"}},"visibility":"internal"},{"constant":false,"id":104859,"mutability":"mutable","name":"proofOffset","nameLocation":"1110:11:183","nodeType":"VariableDeclaration","scope":104863,"src":"1102:19:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":104858,"name":"uint256","nodeType":"ElementaryTypeName","src":"1102:7:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":104862,"mutability":"mutable","name":"memRoot","nameLocation":"1192:7:183","nodeType":"VariableDeclaration","scope":104863,"src":"1184:15:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":104861,"name":"bytes32","nodeType":"ElementaryTypeName","src":"1184:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"}],"name":"SysReadParams","nameLocation":"369:13:183","scope":105708,"visibility":"public"},{"id":104866,"nodeType":"VariableDeclaration","src":"1212:40:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_MMAP","nameLocation":"1237:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104864,"name":"uint32","nodeType":"ElementaryTypeName","src":"1212:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303930","id":104865,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1248:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4090_by_1","typeString":"int_const 4090"},"value":"4090"},"visibility":"internal"},{"id":104869,"nodeType":"VariableDeclaration","src":"1258:39:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_BRK","nameLocation":"1283:7:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104867,"name":"uint32","nodeType":"ElementaryTypeName","src":"1258:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303435","id":104868,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1293:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4045_by_1","typeString":"int_const 4045"},"value":"4045"},"visibility":"internal"},{"id":104872,"nodeType":"VariableDeclaration","src":"1303:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_CLONE","nameLocation":"1328:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104870,"name":"uint32","nodeType":"ElementaryTypeName","src":"1303:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313230","id":104871,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1340:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4120_by_1","typeString":"int_const 4120"},"value":"4120"},"visibility":"internal"},{"id":104875,"nodeType":"VariableDeclaration","src":"1350:46:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_EXIT_GROUP","nameLocation":"1375:14:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104873,"name":"uint32","nodeType":"ElementaryTypeName","src":"1350:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323436","id":104874,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1392:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4246_by_1","typeString":"int_const 4246"},"value":"4246"},"visibility":"internal"},{"id":104878,"nodeType":"VariableDeclaration","src":"1402:40:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_READ","nameLocation":"1427:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104876,"name":"uint32","nodeType":"ElementaryTypeName","src":"1402:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303033","id":104877,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1438:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4003_by_1","typeString":"int_const 4003"},"value":"4003"},"visibility":"internal"},{"id":104881,"nodeType":"VariableDeclaration","src":"1448:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_WRITE","nameLocation":"1473:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104879,"name":"uint32","nodeType":"ElementaryTypeName","src":"1448:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303034","id":104880,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1485:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4004_by_1","typeString":"int_const 4004"},"value":"4004"},"visibility":"internal"},{"id":104884,"nodeType":"VariableDeclaration","src":"1495:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_FCNTL","nameLocation":"1520:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104882,"name":"uint32","nodeType":"ElementaryTypeName","src":"1495:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303535","id":104883,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1532:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4055_by_1","typeString":"int_const 4055"},"value":"4055"},"visibility":"internal"},{"id":104887,"nodeType":"VariableDeclaration","src":"1542:40:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_EXIT","nameLocation":"1567:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104885,"name":"uint32","nodeType":"ElementaryTypeName","src":"1542:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303031","id":104886,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1578:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4001_by_1","typeString":"int_const 4001"},"value":"4001"},"visibility":"internal"},{"id":104890,"nodeType":"VariableDeclaration","src":"1588:47:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_SCHED_YIELD","nameLocation":"1613:15:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104888,"name":"uint32","nodeType":"ElementaryTypeName","src":"1588:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313632","id":104889,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1631:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4162_by_1","typeString":"int_const 4162"},"value":"4162"},"visibility":"internal"},{"id":104893,"nodeType":"VariableDeclaration","src":"1641:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_GETTID","nameLocation":"1666:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104891,"name":"uint32","nodeType":"ElementaryTypeName","src":"1641:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323232","id":104892,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1679:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4222_by_1","typeString":"int_const 4222"},"value":"4222"},"visibility":"internal"},{"id":104896,"nodeType":"VariableDeclaration","src":"1689:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_FUTEX","nameLocation":"1714:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104894,"name":"uint32","nodeType":"ElementaryTypeName","src":"1689:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323338","id":104895,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1726:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4238_by_1","typeString":"int_const 4238"},"value":"4238"},"visibility":"internal"},{"id":104899,"nodeType":"VariableDeclaration","src":"1736:40:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_OPEN","nameLocation":"1761:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104897,"name":"uint32","nodeType":"ElementaryTypeName","src":"1736:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303035","id":104898,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1772:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4005_by_1","typeString":"int_const 4005"},"value":"4005"},"visibility":"internal"},{"id":104902,"nodeType":"VariableDeclaration","src":"1782:45:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_NANOSLEEP","nameLocation":"1807:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104900,"name":"uint32","nodeType":"ElementaryTypeName","src":"1782:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313636","id":104901,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1823:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4166_by_1","typeString":"int_const 4166"},"value":"4166"},"visibility":"internal"},{"id":104905,"nodeType":"VariableDeclaration","src":"1856:49:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_CLOCK_GETTIME","nameLocation":"1881:17:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104903,"name":"uint32","nodeType":"ElementaryTypeName","src":"1856:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323633","id":104904,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1901:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4263_by_1","typeString":"int_const 4263"},"value":"4263"},"visibility":"internal"},{"id":104908,"nodeType":"VariableDeclaration","src":"1911:48:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_GET_AFFINITY","nameLocation":"1936:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104906,"name":"uint32","nodeType":"ElementaryTypeName","src":"1911:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323430","id":104907,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"1955:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4240_by_1","typeString":"int_const 4240"},"value":"4240"},"visibility":"internal"},{"id":104911,"nodeType":"VariableDeclaration","src":"1965:47:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_GETAFFINITY","nameLocation":"1990:15:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104909,"name":"uint32","nodeType":"ElementaryTypeName","src":"1965:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323430","id":104910,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2008:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4240_by_1","typeString":"int_const 4240"},"value":"4240"},"visibility":"internal"},{"id":104914,"nodeType":"VariableDeclaration","src":"2018:43:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_MADVISE","nameLocation":"2043:11:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104912,"name":"uint32","nodeType":"ElementaryTypeName","src":"2018:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323138","id":104913,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2057:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4218_by_1","typeString":"int_const 4218"},"value":"4218"},"visibility":"internal"},{"id":104917,"nodeType":"VariableDeclaration","src":"2067:49:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_RTSIGPROCMASK","nameLocation":"2092:17:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104915,"name":"uint32","nodeType":"ElementaryTypeName","src":"2067:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313935","id":104916,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2112:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4195_by_1","typeString":"int_const 4195"},"value":"4195"},"visibility":"internal"},{"id":104920,"nodeType":"VariableDeclaration","src":"2122:47:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_SIGALTSTACK","nameLocation":"2147:15:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104918,"name":"uint32","nodeType":"ElementaryTypeName","src":"2122:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323036","id":104919,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2165:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4206_by_1","typeString":"int_const 4206"},"value":"4206"},"visibility":"internal"},{"id":104923,"nodeType":"VariableDeclaration","src":"2175:47:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_RTSIGACTION","nameLocation":"2200:15:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104921,"name":"uint32","nodeType":"ElementaryTypeName","src":"2175:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313934","id":104922,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2218:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4194_by_1","typeString":"int_const 4194"},"value":"4194"},"visibility":"internal"},{"id":104926,"nodeType":"VariableDeclaration","src":"2228:45:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_PRLIMIT64","nameLocation":"2253:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104924,"name":"uint32","nodeType":"ElementaryTypeName","src":"2228:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34333338","id":104925,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2269:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4338_by_1","typeString":"int_const 4338"},"value":"4338"},"visibility":"internal"},{"id":104929,"nodeType":"VariableDeclaration","src":"2279:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_CLOSE","nameLocation":"2304:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104927,"name":"uint32","nodeType":"ElementaryTypeName","src":"2279:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303036","id":104928,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2316:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4006_by_1","typeString":"int_const 4006"},"value":"4006"},"visibility":"internal"},{"id":104932,"nodeType":"VariableDeclaration","src":"2326:43:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_PREAD64","nameLocation":"2351:11:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104930,"name":"uint32","nodeType":"ElementaryTypeName","src":"2326:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323030","id":104931,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2365:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4200_by_1","typeString":"int_const 4200"},"value":"4200"},"visibility":"internal"},{"id":104935,"nodeType":"VariableDeclaration","src":"2375:43:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_FSTAT64","nameLocation":"2400:11:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104933,"name":"uint32","nodeType":"ElementaryTypeName","src":"2375:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323135","id":104934,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2414:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4215_by_1","typeString":"int_const 4215"},"value":"4215"},"visibility":"internal"},{"id":104938,"nodeType":"VariableDeclaration","src":"2424:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_OPENAT","nameLocation":"2449:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104936,"name":"uint32","nodeType":"ElementaryTypeName","src":"2424:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323838","id":104937,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2462:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4288_by_1","typeString":"int_const 4288"},"value":"4288"},"visibility":"internal"},{"id":104941,"nodeType":"VariableDeclaration","src":"2472:44:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_READLINK","nameLocation":"2497:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104939,"name":"uint32","nodeType":"ElementaryTypeName","src":"2472:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303835","id":104940,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2512:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4085_by_1","typeString":"int_const 4085"},"value":"4085"},"visibility":"internal"},{"id":104944,"nodeType":"VariableDeclaration","src":"2522:46:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_READLINKAT","nameLocation":"2547:14:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104942,"name":"uint32","nodeType":"ElementaryTypeName","src":"2522:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323938","id":104943,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2564:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4298_by_1","typeString":"int_const 4298"},"value":"4298"},"visibility":"internal"},{"id":104947,"nodeType":"VariableDeclaration","src":"2574:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_IOCTL","nameLocation":"2599:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104945,"name":"uint32","nodeType":"ElementaryTypeName","src":"2574:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303534","id":104946,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2611:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4054_by_1","typeString":"int_const 4054"},"value":"4054"},"visibility":"internal"},{"id":104950,"nodeType":"VariableDeclaration","src":"2621:48:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_EPOLLCREATE1","nameLocation":"2646:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104948,"name":"uint32","nodeType":"ElementaryTypeName","src":"2621:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34333236","id":104949,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2665:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4326_by_1","typeString":"int_const 4326"},"value":"4326"},"visibility":"internal"},{"id":104953,"nodeType":"VariableDeclaration","src":"2675:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_PIPE2","nameLocation":"2700:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104951,"name":"uint32","nodeType":"ElementaryTypeName","src":"2675:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34333238","id":104952,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2712:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4328_by_1","typeString":"int_const 4328"},"value":"4328"},"visibility":"internal"},{"id":104956,"nodeType":"VariableDeclaration","src":"2722:44:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_EPOLLCTL","nameLocation":"2747:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104954,"name":"uint32","nodeType":"ElementaryTypeName","src":"2722:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323439","id":104955,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2762:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4249_by_1","typeString":"int_const 4249"},"value":"4249"},"visibility":"internal"},{"id":104959,"nodeType":"VariableDeclaration","src":"2772:46:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_EPOLLPWAIT","nameLocation":"2797:14:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104957,"name":"uint32","nodeType":"ElementaryTypeName","src":"2772:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34333133","id":104958,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2814:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4313_by_1","typeString":"int_const 4313"},"value":"4313"},"visibility":"internal"},{"id":104962,"nodeType":"VariableDeclaration","src":"2824:45:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_GETRANDOM","nameLocation":"2849:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104960,"name":"uint32","nodeType":"ElementaryTypeName","src":"2824:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34333533","id":104961,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2865:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4353_by_1","typeString":"int_const 4353"},"value":"4353"},"visibility":"internal"},{"id":104965,"nodeType":"VariableDeclaration","src":"2875:41:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_UNAME","nameLocation":"2900:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104963,"name":"uint32","nodeType":"ElementaryTypeName","src":"2875:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313232","id":104964,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2912:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4122_by_1","typeString":"int_const 4122"},"value":"4122"},"visibility":"internal"},{"id":104968,"nodeType":"VariableDeclaration","src":"2922:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_STAT64","nameLocation":"2947:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104966,"name":"uint32","nodeType":"ElementaryTypeName","src":"2922:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323133","id":104967,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"2960:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4213_by_1","typeString":"int_const 4213"},"value":"4213"},"visibility":"internal"},{"id":104971,"nodeType":"VariableDeclaration","src":"2970:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_GETUID","nameLocation":"2995:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104969,"name":"uint32","nodeType":"ElementaryTypeName","src":"2970:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303234","id":104970,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3008:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4024_by_1","typeString":"int_const 4024"},"value":"4024"},"visibility":"internal"},{"id":104974,"nodeType":"VariableDeclaration","src":"3018:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_GETGID","nameLocation":"3043:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104972,"name":"uint32","nodeType":"ElementaryTypeName","src":"3018:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303437","id":104973,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3056:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4047_by_1","typeString":"int_const 4047"},"value":"4047"},"visibility":"internal"},{"id":104977,"nodeType":"VariableDeclaration","src":"3066:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_LLSEEK","nameLocation":"3091:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104975,"name":"uint32","nodeType":"ElementaryTypeName","src":"3066:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313430","id":104976,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3104:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4140_by_1","typeString":"int_const 4140"},"value":"4140"},"visibility":"internal"},{"id":104980,"nodeType":"VariableDeclaration","src":"3114:43:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_MINCORE","nameLocation":"3139:11:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104978,"name":"uint32","nodeType":"ElementaryTypeName","src":"3114:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323137","id":104979,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3153:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4217_by_1","typeString":"int_const 4217"},"value":"4217"},"visibility":"internal"},{"id":104983,"nodeType":"VariableDeclaration","src":"3163:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_TGKILL","nameLocation":"3188:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104981,"name":"uint32","nodeType":"ElementaryTypeName","src":"3163:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323636","id":104982,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3201:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4266_by_1","typeString":"int_const 4266"},"value":"4266"},"visibility":"internal"},{"id":104986,"nodeType":"VariableDeclaration","src":"3255:45:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_SETITIMER","nameLocation":"3280:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104984,"name":"uint32","nodeType":"ElementaryTypeName","src":"3255:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34313034","id":104985,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3296:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4104_by_1","typeString":"int_const 4104"},"value":"4104"},"visibility":"internal"},{"id":104989,"nodeType":"VariableDeclaration","src":"3306:47:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_TIMERCREATE","nameLocation":"3331:15:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104987,"name":"uint32","nodeType":"ElementaryTypeName","src":"3306:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323537","id":104988,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3349:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4257_by_1","typeString":"int_const 4257"},"value":"4257"},"visibility":"internal"},{"id":104992,"nodeType":"VariableDeclaration","src":"3359:48:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_TIMERSETTIME","nameLocation":"3384:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104990,"name":"uint32","nodeType":"ElementaryTypeName","src":"3359:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323538","id":104991,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3403:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4258_by_1","typeString":"int_const 4258"},"value":"4258"},"visibility":"internal"},{"id":104995,"nodeType":"VariableDeclaration","src":"3413:47:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_TIMERDELETE","nameLocation":"3438:15:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104993,"name":"uint32","nodeType":"ElementaryTypeName","src":"3413:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323631","id":104994,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3456:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4261_by_1","typeString":"int_const 4261"},"value":"4261"},"visibility":"internal"},{"id":104998,"nodeType":"VariableDeclaration","src":"3466:48:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_CLOCKGETTIME","nameLocation":"3491:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104996,"name":"uint32","nodeType":"ElementaryTypeName","src":"3466:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34323633","id":104997,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3510:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4263_by_1","typeString":"int_const 4263"},"value":"4263"},"visibility":"internal"},{"id":105001,"nodeType":"VariableDeclaration","src":"3520:42:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_MUNMAP","nameLocation":"3545:10:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":104999,"name":"uint32","nodeType":"ElementaryTypeName","src":"3520:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34303931","id":105000,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3558:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4091_by_1","typeString":"int_const 4091"},"value":"4091"},"visibility":"internal"},{"id":105004,"nodeType":"VariableDeclaration","src":"3569:37:183","nodes":[],"constant":true,"mutability":"constant","name":"FD_STDIN","nameLocation":"3594:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105002,"name":"uint32","nodeType":"ElementaryTypeName","src":"3569:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30","id":105003,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3605:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"visibility":"internal"},{"id":105007,"nodeType":"VariableDeclaration","src":"3612:38:183","nodes":[],"constant":true,"mutability":"constant","name":"FD_STDOUT","nameLocation":"3637:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105005,"name":"uint32","nodeType":"ElementaryTypeName","src":"3612:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"31","id":105006,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3649:1:183","typeDescriptions":{"typeIdentifier":"t_rational_1_by_1","typeString":"int_const 1"},"value":"1"},"visibility":"internal"},{"id":105010,"nodeType":"VariableDeclaration","src":"3656:38:183","nodes":[],"constant":true,"mutability":"constant","name":"FD_STDERR","nameLocation":"3681:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105008,"name":"uint32","nodeType":"ElementaryTypeName","src":"3656:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"32","id":105009,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3693:1:183","typeDescriptions":{"typeIdentifier":"t_rational_2_by_1","typeString":"int_const 2"},"value":"2"},"visibility":"internal"},{"id":105013,"nodeType":"VariableDeclaration","src":"3700:41:183","nodes":[],"constant":true,"mutability":"constant","name":"FD_HINT_READ","nameLocation":"3725:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105011,"name":"uint32","nodeType":"ElementaryTypeName","src":"3700:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"33","id":105012,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3740:1:183","typeDescriptions":{"typeIdentifier":"t_rational_3_by_1","typeString":"int_const 3"},"value":"3"},"visibility":"internal"},{"id":105016,"nodeType":"VariableDeclaration","src":"3747:42:183","nodes":[],"constant":true,"mutability":"constant","name":"FD_HINT_WRITE","nameLocation":"3772:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105014,"name":"uint32","nodeType":"ElementaryTypeName","src":"3747:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"34","id":105015,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3788:1:183","typeDescriptions":{"typeIdentifier":"t_rational_4_by_1","typeString":"int_const 4"},"value":"4"},"visibility":"internal"},{"id":105019,"nodeType":"VariableDeclaration","src":"3795:45:183","nodes":[],"constant":true,"mutability":"constant","name":"FD_PREIMAGE_READ","nameLocation":"3820:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105017,"name":"uint32","nodeType":"ElementaryTypeName","src":"3795:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"35","id":105018,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3839:1:183","typeDescriptions":{"typeIdentifier":"t_rational_5_by_1","typeString":"int_const 5"},"value":"5"},"visibility":"internal"},{"id":105022,"nodeType":"VariableDeclaration","src":"3846:46:183","nodes":[],"constant":true,"mutability":"constant","name":"FD_PREIMAGE_WRITE","nameLocation":"3871:17:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105020,"name":"uint32","nodeType":"ElementaryTypeName","src":"3846:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"36","id":105021,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3891:1:183","typeDescriptions":{"typeIdentifier":"t_rational_6_by_1","typeString":"int_const 6"},"value":"6"},"visibility":"internal"},{"id":105025,"nodeType":"VariableDeclaration","src":"3899:57:183","nodes":[],"constant":true,"mutability":"constant","name":"SYS_ERROR_SIGNAL","nameLocation":"3924:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105023,"name":"uint32","nodeType":"ElementaryTypeName","src":"3899:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307846465f46465f46465f4646","id":105024,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3943:13:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967295_by_1","typeString":"int_const 4294967295"},"value":"0xFF_FF_FF_FF"},"visibility":"internal"},{"id":105028,"nodeType":"VariableDeclaration","src":"3962:36:183","nodes":[],"constant":true,"mutability":"constant","name":"EBADF","nameLocation":"3987:5:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105026,"name":"uint32","nodeType":"ElementaryTypeName","src":"3962:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307839","id":105027,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"3995:3:183","typeDescriptions":{"typeIdentifier":"t_rational_9_by_1","typeString":"int_const 9"},"value":"0x9"},"visibility":"internal"},{"id":105031,"nodeType":"VariableDeclaration","src":"4004:38:183","nodes":[],"constant":true,"mutability":"constant","name":"EINVAL","nameLocation":"4029:6:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105029,"name":"uint32","nodeType":"ElementaryTypeName","src":"4004:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783136","id":105030,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4038:4:183","typeDescriptions":{"typeIdentifier":"t_rational_22_by_1","typeString":"int_const 22"},"value":"0x16"},"visibility":"internal"},{"id":105034,"nodeType":"VariableDeclaration","src":"4048:37:183","nodes":[],"constant":true,"mutability":"constant","name":"EAGAIN","nameLocation":"4073:6:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105032,"name":"uint32","nodeType":"ElementaryTypeName","src":"4048:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307862","id":105033,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4082:3:183","typeDescriptions":{"typeIdentifier":"t_rational_11_by_1","typeString":"int_const 11"},"value":"0xb"},"visibility":"internal"},{"id":105037,"nodeType":"VariableDeclaration","src":"4091:41:183","nodes":[],"constant":true,"mutability":"constant","name":"ETIMEDOUT","nameLocation":"4116:9:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105035,"name":"uint32","nodeType":"ElementaryTypeName","src":"4091:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783931","id":105036,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4128:4:183","typeDescriptions":{"typeIdentifier":"t_rational_145_by_1","typeString":"int_const 145"},"value":"0x91"},"visibility":"internal"},{"id":105040,"nodeType":"VariableDeclaration","src":"4139:49:183","nodes":[],"constant":true,"mutability":"constant","name":"FUTEX_WAIT_PRIVATE","nameLocation":"4164:18:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105038,"name":"uint32","nodeType":"ElementaryTypeName","src":"4139:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"313238","id":105039,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4185:3:183","typeDescriptions":{"typeIdentifier":"t_rational_128_by_1","typeString":"int_const 128"},"value":"128"},"visibility":"internal"},{"id":105043,"nodeType":"VariableDeclaration","src":"4194:49:183","nodes":[],"constant":true,"mutability":"constant","name":"FUTEX_WAKE_PRIVATE","nameLocation":"4219:18:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105041,"name":"uint32","nodeType":"ElementaryTypeName","src":"4194:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"313239","id":105042,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4240:3:183","typeDescriptions":{"typeIdentifier":"t_rational_129_by_1","typeString":"int_const 129"},"value":"129"},"visibility":"internal"},{"id":105046,"nodeType":"VariableDeclaration","src":"4249:52:183","nodes":[],"constant":true,"mutability":"constant","name":"FUTEX_TIMEOUT_STEPS","nameLocation":"4274:19:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105044,"name":"uint32","nodeType":"ElementaryTypeName","src":"4249:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3130303030","id":105045,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4296:5:183","typeDescriptions":{"typeIdentifier":"t_rational_10000_by_1","typeString":"int_const 10000"},"value":"10000"},"visibility":"internal"},{"id":105053,"nodeType":"VariableDeclaration","src":"4307:60:183","nodes":[],"constant":true,"mutability":"constant","name":"FUTEX_NO_TIMEOUT","nameLocation":"4332:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint64","typeString":"uint64"},"typeName":{"id":105047,"name":"uint64","nodeType":"ElementaryTypeName","src":"4307:6:183","typeDescriptions":{"typeIdentifier":"t_uint64","typeString":"uint64"}},"value":{"expression":{"arguments":[{"id":105050,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"4356:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint64_$","typeString":"type(uint64)"},"typeName":{"id":105049,"name":"uint64","nodeType":"ElementaryTypeName","src":"4356:6:183","typeDescriptions":{}}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_type$_t_uint64_$","typeString":"type(uint64)"}],"id":105048,"name":"type","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":-27,"src":"4351:4:183","typeDescriptions":{"typeIdentifier":"t_function_metatype_pure$__$returns$__$","typeString":"function () pure"}},"id":105051,"isConstant":false,"isLValue":false,"isPure":true,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"4351:12:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_magic_meta_type_t_uint64","typeString":"type(uint64)"}},"id":105052,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"memberName":"max","nodeType":"MemberAccess","src":"4351:16:183","typeDescriptions":{"typeIdentifier":"t_uint64","typeString":"uint64"}},"visibility":"internal"},{"id":105056,"nodeType":"VariableDeclaration","src":"4373:57:183","nodes":[],"constant":true,"mutability":"constant","name":"FUTEX_EMPTY_ADDR","nameLocation":"4398:16:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105054,"name":"uint32","nodeType":"ElementaryTypeName","src":"4373:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307846465f46465f46465f4646","id":105055,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4417:13:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967295_by_1","typeString":"int_const 4294967295"},"value":"0xFF_FF_FF_FF"},"visibility":"internal"},{"id":105059,"nodeType":"VariableDeclaration","src":"4437:48:183","nodes":[],"constant":true,"mutability":"constant","name":"SCHED_QUANTUM","nameLocation":"4462:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105057,"name":"uint32","nodeType":"ElementaryTypeName","src":"4437:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3130305f303030","id":105058,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4478:7:183","typeDescriptions":{"typeIdentifier":"t_rational_100000_by_1","typeString":"int_const 100000"},"value":"100_000"},"visibility":"internal"},{"id":105063,"nodeType":"VariableDeclaration","src":"4534:51:183","nodes":[],"constant":true,"documentation":{"id":105060,"nodeType":"StructuredDocumentation","src":"4491:38:183","text":"@notice Start of the data segment."},"mutability":"constant","name":"PROGRAM_BREAK","nameLocation":"4559:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105061,"name":"uint32","nodeType":"ElementaryTypeName","src":"4534:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783430303030303030","id":105062,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4575:10:183","typeDescriptions":{"typeIdentifier":"t_rational_1073741824_by_1","typeString":"int_const 1073741824"},"value":"0x40000000"},"visibility":"internal"},{"id":105066,"nodeType":"VariableDeclaration","src":"4591:46:183","nodes":[],"constant":true,"mutability":"constant","name":"HEAP_END","nameLocation":"4616:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105064,"name":"uint32","nodeType":"ElementaryTypeName","src":"4591:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783630303030303030","id":105065,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4627:10:183","typeDescriptions":{"typeIdentifier":"t_rational_1610612736_by_1","typeString":"int_const 1610612736"},"value":"0x60000000"},"visibility":"internal"},{"id":105069,"nodeType":"VariableDeclaration","src":"4667:41:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_VM","nameLocation":"4692:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105067,"name":"uint32","nodeType":"ElementaryTypeName","src":"4667:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3078313030","id":105068,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4703:5:183","typeDescriptions":{"typeIdentifier":"t_rational_256_by_1","typeString":"int_const 256"},"value":"0x100"},"visibility":"internal"},{"id":105072,"nodeType":"VariableDeclaration","src":"4714:41:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_FS","nameLocation":"4739:8:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105070,"name":"uint32","nodeType":"ElementaryTypeName","src":"4714:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3078323030","id":105071,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4750:5:183","typeDescriptions":{"typeIdentifier":"t_rational_512_by_1","typeString":"int_const 512"},"value":"0x200"},"visibility":"internal"},{"id":105075,"nodeType":"VariableDeclaration","src":"4761:44:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_FILES","nameLocation":"4786:11:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105073,"name":"uint32","nodeType":"ElementaryTypeName","src":"4761:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3078343030","id":105074,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4800:5:183","typeDescriptions":{"typeIdentifier":"t_rational_1024_by_1","typeString":"int_const 1024"},"value":"0x400"},"visibility":"internal"},{"id":105078,"nodeType":"VariableDeclaration","src":"4811:46:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_SIGHAND","nameLocation":"4836:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105076,"name":"uint32","nodeType":"ElementaryTypeName","src":"4811:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3078383030","id":105077,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4852:5:183","typeDescriptions":{"typeIdentifier":"t_rational_2048_by_1","typeString":"int_const 2048"},"value":"0x800"},"visibility":"internal"},{"id":105081,"nodeType":"VariableDeclaration","src":"4863:46:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_PTRACE","nameLocation":"4888:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105079,"name":"uint32","nodeType":"ElementaryTypeName","src":"4863:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307832303030","id":105080,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4903:6:183","typeDescriptions":{"typeIdentifier":"t_rational_8192_by_1","typeString":"int_const 8192"},"value":"0x2000"},"visibility":"internal"},{"id":105084,"nodeType":"VariableDeclaration","src":"4915:45:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_VFORK","nameLocation":"4940:11:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105082,"name":"uint32","nodeType":"ElementaryTypeName","src":"4915:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307834303030","id":105083,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"4954:6:183","typeDescriptions":{"typeIdentifier":"t_rational_16384_by_1","typeString":"int_const 16384"},"value":"0x4000"},"visibility":"internal"},{"id":105087,"nodeType":"VariableDeclaration","src":"4966:46:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_PARENT","nameLocation":"4991:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105085,"name":"uint32","nodeType":"ElementaryTypeName","src":"4966:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307838303030","id":105086,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5006:6:183","typeDescriptions":{"typeIdentifier":"t_rational_32768_by_1","typeString":"int_const 32768"},"value":"0x8000"},"visibility":"internal"},{"id":105090,"nodeType":"VariableDeclaration","src":"5018:47:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_THREAD","nameLocation":"5043:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105088,"name":"uint32","nodeType":"ElementaryTypeName","src":"5018:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783130303030","id":105089,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5058:7:183","typeDescriptions":{"typeIdentifier":"t_rational_65536_by_1","typeString":"int_const 65536"},"value":"0x10000"},"visibility":"internal"},{"id":105093,"nodeType":"VariableDeclaration","src":"5071:46:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_NEWNS","nameLocation":"5096:11:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105091,"name":"uint32","nodeType":"ElementaryTypeName","src":"5071:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783230303030","id":105092,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5110:7:183","typeDescriptions":{"typeIdentifier":"t_rational_131072_by_1","typeString":"int_const 131072"},"value":"0x20000"},"visibility":"internal"},{"id":105096,"nodeType":"VariableDeclaration","src":"5123:48:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_SYSVSEM","nameLocation":"5148:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105094,"name":"uint32","nodeType":"ElementaryTypeName","src":"5123:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783430303030","id":105095,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5164:7:183","typeDescriptions":{"typeIdentifier":"t_rational_262144_by_1","typeString":"int_const 262144"},"value":"0x40000"},"visibility":"internal"},{"id":105099,"nodeType":"VariableDeclaration","src":"5177:47:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_SETTLS","nameLocation":"5202:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105097,"name":"uint32","nodeType":"ElementaryTypeName","src":"5177:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"30783830303030","id":105098,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5217:7:183","typeDescriptions":{"typeIdentifier":"t_rational_524288_by_1","typeString":"int_const 524288"},"value":"0x80000"},"visibility":"internal"},{"id":105102,"nodeType":"VariableDeclaration","src":"5230:54:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_PARENTSETTID","nameLocation":"5255:18:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105100,"name":"uint32","nodeType":"ElementaryTypeName","src":"5230:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3078313030303030","id":105101,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5276:8:183","typeDescriptions":{"typeIdentifier":"t_rational_1048576_by_1","typeString":"int_const 1048576"},"value":"0x100000"},"visibility":"internal"},{"id":105105,"nodeType":"VariableDeclaration","src":"5290:55:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_CHILDCLEARTID","nameLocation":"5315:19:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105103,"name":"uint32","nodeType":"ElementaryTypeName","src":"5290:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3078323030303030","id":105104,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5337:8:183","typeDescriptions":{"typeIdentifier":"t_rational_2097152_by_1","typeString":"int_const 2097152"},"value":"0x200000"},"visibility":"internal"},{"id":105108,"nodeType":"VariableDeclaration","src":"5351:50:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_UNTRACED","nameLocation":"5376:14:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105106,"name":"uint32","nodeType":"ElementaryTypeName","src":"5351:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"3078383030303030","id":105107,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5393:8:183","typeDescriptions":{"typeIdentifier":"t_rational_8388608_by_1","typeString":"int_const 8388608"},"value":"0x800000"},"visibility":"internal"},{"id":105111,"nodeType":"VariableDeclaration","src":"5407:54:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_CHILDSETTID","nameLocation":"5432:17:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105109,"name":"uint32","nodeType":"ElementaryTypeName","src":"5407:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307831303030303030","id":105110,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5452:9:183","typeDescriptions":{"typeIdentifier":"t_rational_16777216_by_1","typeString":"int_const 16777216"},"value":"0x1000000"},"visibility":"internal"},{"id":105114,"nodeType":"VariableDeclaration","src":"5467:50:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_STOPPED","nameLocation":"5492:13:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105112,"name":"uint32","nodeType":"ElementaryTypeName","src":"5467:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307832303030303030","id":105113,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5508:9:183","typeDescriptions":{"typeIdentifier":"t_rational_33554432_by_1","typeString":"int_const 33554432"},"value":"0x2000000"},"visibility":"internal"},{"id":105117,"nodeType":"VariableDeclaration","src":"5523:49:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_NEWUTS","nameLocation":"5548:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105115,"name":"uint32","nodeType":"ElementaryTypeName","src":"5523:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307834303030303030","id":105116,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5563:9:183","typeDescriptions":{"typeIdentifier":"t_rational_67108864_by_1","typeString":"int_const 67108864"},"value":"0x4000000"},"visibility":"internal"},{"id":105120,"nodeType":"VariableDeclaration","src":"5578:49:183","nodes":[],"constant":true,"mutability":"constant","name":"CLONE_NEWIPC","nameLocation":"5603:12:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105118,"name":"uint32","nodeType":"ElementaryTypeName","src":"5578:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"hexValue":"307838303030303030","id":105119,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"5618:9:183","typeDescriptions":{"typeIdentifier":"t_rational_134217728_by_1","typeString":"int_const 134217728"},"value":"0x8000000"},"visibility":"internal"},{"id":105133,"nodeType":"VariableDeclaration","src":"5633:137:183","nodes":[],"constant":true,"mutability":"constant","name":"VALID_SYS_CLONE_FLAGS","nameLocation":"5658:21:183","scope":105708,"stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105121,"name":"uint32","nodeType":"ElementaryTypeName","src":"5633:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"value":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105132,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105130,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105128,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105126,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105124,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"leftExpression":{"id":105122,"name":"CLONE_VM","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105069,"src":"5690:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"|","rightExpression":{"id":105123,"name":"CLONE_FS","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105072,"src":"5701:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"5690:19:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"|","rightExpression":{"id":105125,"name":"CLONE_FILES","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105075,"src":"5712:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"5690:33:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"|","rightExpression":{"id":105127,"name":"CLONE_SIGHAND","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105078,"src":"5726:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"5690:49:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"|","rightExpression":{"id":105129,"name":"CLONE_SYSVSEM","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105096,"src":"5742:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"5690:65:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"|","rightExpression":{"id":105131,"name":"CLONE_THREAD","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105090,"src":"5758:12:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"5690:80:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"id":105190,"nodeType":"FunctionDefinition","src":"6238:439:183","nodes":[],"body":{"id":105189,"nodeType":"Block","src":"6411:266:183","nodes":[],"statements":[{"id":105188,"nodeType":"UncheckedBlock","src":"6421:250:183","statements":[{"expression":{"id":105155,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105151,"name":"sysCallNum_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105141,"src":"6445:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"baseExpression":{"id":105152,"name":"_registers","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105138,"src":"6459:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32] memory"}},"id":105154,"indexExpression":{"hexValue":"32","id":105153,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"6470:1:183","typeDescriptions":{"typeIdentifier":"t_rational_2_by_1","typeString":"int_const 2"},"value":"2"},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"6459:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"6445:27:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105156,"nodeType":"ExpressionStatement","src":"6445:27:183"},{"expression":{"id":105161,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105157,"name":"a0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105143,"src":"6487:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"baseExpression":{"id":105158,"name":"_registers","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105138,"src":"6493:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32] memory"}},"id":105160,"indexExpression":{"hexValue":"34","id":105159,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"6504:1:183","typeDescriptions":{"typeIdentifier":"t_rational_4_by_1","typeString":"int_const 4"},"value":"4"},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"6493:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"6487:19:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105162,"nodeType":"ExpressionStatement","src":"6487:19:183"},{"expression":{"id":105167,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105163,"name":"a1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105145,"src":"6520:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"baseExpression":{"id":105164,"name":"_registers","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105138,"src":"6526:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32] memory"}},"id":105166,"indexExpression":{"hexValue":"35","id":105165,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"6537:1:183","typeDescriptions":{"typeIdentifier":"t_rational_5_by_1","typeString":"int_const 5"},"value":"5"},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"6526:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"6520:19:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105168,"nodeType":"ExpressionStatement","src":"6520:19:183"},{"expression":{"id":105173,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105169,"name":"a2_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105147,"src":"6553:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"baseExpression":{"id":105170,"name":"_registers","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105138,"src":"6559:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32] memory"}},"id":105172,"indexExpression":{"hexValue":"36","id":105171,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"6570:1:183","typeDescriptions":{"typeIdentifier":"t_rational_6_by_1","typeString":"int_const 6"},"value":"6"},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"6559:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"6553:19:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105174,"nodeType":"ExpressionStatement","src":"6553:19:183"},{"expression":{"id":105179,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105175,"name":"a3_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105149,"src":"6586:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"baseExpression":{"id":105176,"name":"_registers","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105138,"src":"6592:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32] memory"}},"id":105178,"indexExpression":{"hexValue":"37","id":105177,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"6603:1:183","typeDescriptions":{"typeIdentifier":"t_rational_7_by_1","typeString":"int_const 7"},"value":"7"},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"6592:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"6586:19:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105180,"nodeType":"ExpressionStatement","src":"6586:19:183"},{"expression":{"components":[{"id":105181,"name":"sysCallNum_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105141,"src":"6628:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105182,"name":"a0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105143,"src":"6641:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105183,"name":"a1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105145,"src":"6646:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105184,"name":"a2_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105147,"src":"6651:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105185,"name":"a3_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105149,"src":"6656:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"id":105186,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"6627:33:183","typeDescriptions":{"typeIdentifier":"t_tuple$_t_uint32_$_t_uint32_$_t_uint32_$_t_uint32_$_t_uint32_$","typeString":"tuple(uint32,uint32,uint32,uint32,uint32)"}},"functionReturnParameters":105150,"id":105187,"nodeType":"Return","src":"6620:40:183"}]}]},"documentation":{"id":105134,"nodeType":"StructuredDocumentation","src":"5777:456:183","text":"@notice Extract syscall num and arguments from registers.\n @param _registers The cpu registers.\n @return sysCallNum_ The syscall number.\n @return a0_ The first argument available to the syscall operation.\n @return a1_ The second argument available to the syscall operation.\n @return a2_ The third argument available to the syscall operation.\n @return a3_ The fourth argument available to the syscall operation."},"implemented":true,"kind":"function","modifiers":[],"name":"getSyscallArgs","nameLocation":"6247:14:183","parameters":{"id":105139,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105138,"mutability":"mutable","name":"_registers","nameLocation":"6280:10:183","nodeType":"VariableDeclaration","scope":105190,"src":"6262:28:183","stateVariable":false,"storageLocation":"memory","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32]"},"typeName":{"baseType":{"id":105135,"name":"uint32","nodeType":"ElementaryTypeName","src":"6262:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105137,"length":{"hexValue":"3332","id":105136,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"6269:2:183","typeDescriptions":{"typeIdentifier":"t_rational_32_by_1","typeString":"int_const 32"},"value":"32"},"nodeType":"ArrayTypeName","src":"6262:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_storage_ptr","typeString":"uint32[32]"}},"visibility":"internal"}],"src":"6261:30:183"},"returnParameters":{"id":105150,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105141,"mutability":"mutable","name":"sysCallNum_","nameLocation":"6346:11:183","nodeType":"VariableDeclaration","scope":105190,"src":"6339:18:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105140,"name":"uint32","nodeType":"ElementaryTypeName","src":"6339:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105143,"mutability":"mutable","name":"a0_","nameLocation":"6366:3:183","nodeType":"VariableDeclaration","scope":105190,"src":"6359:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105142,"name":"uint32","nodeType":"ElementaryTypeName","src":"6359:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105145,"mutability":"mutable","name":"a1_","nameLocation":"6378:3:183","nodeType":"VariableDeclaration","scope":105190,"src":"6371:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105144,"name":"uint32","nodeType":"ElementaryTypeName","src":"6371:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105147,"mutability":"mutable","name":"a2_","nameLocation":"6390:3:183","nodeType":"VariableDeclaration","scope":105190,"src":"6383:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105146,"name":"uint32","nodeType":"ElementaryTypeName","src":"6383:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105149,"mutability":"mutable","name":"a3_","nameLocation":"6402:3:183","nodeType":"VariableDeclaration","scope":105190,"src":"6395:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105148,"name":"uint32","nodeType":"ElementaryTypeName","src":"6395:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"src":"6338:68:183"},"scope":105708,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":105288,"nodeType":"FunctionDefinition","src":"7078:971:183","nodes":[],"body":{"id":105287,"nodeType":"Block","src":"7261:788:183","nodes":[],"statements":[{"id":105286,"nodeType":"UncheckedBlock","src":"7271:772:183","statements":[{"expression":{"id":105211,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105206,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105202,"src":"7295:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"hexValue":"30","id":105209,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"7308:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"}],"id":105208,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"7301:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105207,"name":"uint32","nodeType":"ElementaryTypeName","src":"7301:6:183","typeDescriptions":{}}},"id":105210,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"7301:9:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7295:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105212,"nodeType":"ExpressionStatement","src":"7295:15:183"},{"expression":{"id":105215,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105213,"name":"newHeap_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105204,"src":"7324:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105214,"name":"_heap","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105197,"src":"7335:5:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7324:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105216,"nodeType":"ExpressionStatement","src":"7324:16:183"},{"assignments":[105218],"declarations":[{"constant":false,"id":105218,"mutability":"mutable","name":"sz","nameLocation":"7362:2:183","nodeType":"VariableDeclaration","scope":105286,"src":"7355:9:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105217,"name":"uint32","nodeType":"ElementaryTypeName","src":"7355:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"id":105220,"initialValue":{"id":105219,"name":"_a1","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105195,"src":"7367:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"VariableDeclarationStatement","src":"7355:15:183"},{"condition":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105225,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105223,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105221,"name":"sz","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105218,"src":"7388:2:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"&","rightExpression":{"hexValue":"34303935","id":105222,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"7393:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4095_by_1","typeString":"int_const 4095"},"value":"4095"},"src":"7388:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"!=","rightExpression":{"hexValue":"30","id":105224,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"7401:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"7388:14:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":105236,"nodeType":"IfStatement","src":"7384:132:183","trueBody":{"id":105235,"nodeType":"Block","src":"7404:112:183","statements":[{"expression":{"id":105233,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105226,"name":"sz","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105218,"src":"7477:2:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"+=","rightHandSide":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105232,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"hexValue":"34303936","id":105227,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"7483:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4096_by_1","typeString":"int_const 4096"},"value":"4096"},"nodeType":"BinaryOperation","operator":"-","rightExpression":{"components":[{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105230,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105228,"name":"sz","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105218,"src":"7491:2:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"&","rightExpression":{"hexValue":"34303935","id":105229,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"7496:4:183","typeDescriptions":{"typeIdentifier":"t_rational_4095_by_1","typeString":"int_const 4095"},"value":"4095"},"src":"7491:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"id":105231,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"7490:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7483:18:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7477:24:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105234,"nodeType":"ExpressionStatement","src":"7477:24:183"}]}},{"condition":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105239,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105237,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105193,"src":"7533:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"30","id":105238,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"7540:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"7533:8:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"id":105279,"nodeType":"Block","src":"7949:42:183","statements":[{"expression":{"id":105277,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105275,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105200,"src":"7967:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105276,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105193,"src":"7973:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7967:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105278,"nodeType":"ExpressionStatement","src":"7967:9:183"}]},"id":105280,"nodeType":"IfStatement","src":"7529:462:183","trueBody":{"id":105274,"nodeType":"Block","src":"7543:400:183","statements":[{"expression":{"id":105242,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105240,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105200,"src":"7561:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105241,"name":"_heap","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105197,"src":"7567:5:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7561:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105243,"nodeType":"ExpressionStatement","src":"7561:11:183"},{"expression":{"id":105246,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105244,"name":"newHeap_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105204,"src":"7590:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"+=","rightHandSide":{"id":105245,"name":"sz","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105218,"src":"7602:2:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7590:14:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105247,"nodeType":"ExpressionStatement","src":"7590:14:183"},{"condition":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105258,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105254,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105250,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105248,"name":"newHeap_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105204,"src":"7733:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":">","rightExpression":{"id":105249,"name":"HEAP_END","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105066,"src":"7744:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7733:19:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105253,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105251,"name":"newHeap_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105204,"src":"7756:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"<","rightExpression":{"id":105252,"name":"_heap","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105197,"src":"7767:5:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7756:16:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"7733:39:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105257,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105255,"name":"sz","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105218,"src":"7776:2:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"<","rightExpression":{"id":105256,"name":"_a1","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105195,"src":"7781:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7776:8:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"7733:51:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":105273,"nodeType":"IfStatement","src":"7729:200:183","trueBody":{"id":105272,"nodeType":"Block","src":"7786:143:183","statements":[{"expression":{"id":105261,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105259,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105200,"src":"7808:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105260,"name":"SYS_ERROR_SIGNAL","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105025,"src":"7814:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7808:22:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105262,"nodeType":"ExpressionStatement","src":"7808:22:183"},{"expression":{"id":105265,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105263,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105202,"src":"7852:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105264,"name":"EINVAL","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105031,"src":"7858:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"7852:12:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105266,"nodeType":"ExpressionStatement","src":"7852:12:183"},{"expression":{"components":[{"id":105267,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105200,"src":"7894:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105268,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105202,"src":"7899:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105269,"name":"_heap","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105197,"src":"7904:5:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"id":105270,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"7893:17:183","typeDescriptions":{"typeIdentifier":"t_tuple$_t_uint32_$_t_uint32_$_t_uint32_$","typeString":"tuple(uint32,uint32,uint32)"}},"functionReturnParameters":105205,"id":105271,"nodeType":"Return","src":"7886:24:183"}]}}]}},{"expression":{"components":[{"id":105281,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105200,"src":"8013:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105282,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105202,"src":"8018:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105283,"name":"newHeap_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105204,"src":"8023:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"id":105284,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"8012:20:183","typeDescriptions":{"typeIdentifier":"t_tuple$_t_uint32_$_t_uint32_$_t_uint32_$","typeString":"tuple(uint32,uint32,uint32)"}},"functionReturnParameters":105205,"id":105285,"nodeType":"Return","src":"8005:27:183"}]}]},"documentation":{"id":105191,"nodeType":"StructuredDocumentation","src":"6683:390:183","text":"@notice Like a Linux mmap syscall. Allocates a page from the heap.\n @param _a0 The address for the new mapping\n @param _a1 The size of the new mapping\n @param _heap The current value of the heap pointer\n @return v0_ The address of the new mapping\n @return v1_ Unused error code (0)\n @return newHeap_ The new value for the heap, may be unchanged"},"implemented":true,"kind":"function","modifiers":[],"name":"handleSysMmap","nameLocation":"7087:13:183","parameters":{"id":105198,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105193,"mutability":"mutable","name":"_a0","nameLocation":"7117:3:183","nodeType":"VariableDeclaration","scope":105288,"src":"7110:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105192,"name":"uint32","nodeType":"ElementaryTypeName","src":"7110:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105195,"mutability":"mutable","name":"_a1","nameLocation":"7137:3:183","nodeType":"VariableDeclaration","scope":105288,"src":"7130:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105194,"name":"uint32","nodeType":"ElementaryTypeName","src":"7130:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105197,"mutability":"mutable","name":"_heap","nameLocation":"7157:5:183","nodeType":"VariableDeclaration","scope":105288,"src":"7150:12:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105196,"name":"uint32","nodeType":"ElementaryTypeName","src":"7150:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"src":"7100:68:183"},"returnParameters":{"id":105205,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105200,"mutability":"mutable","name":"v0_","nameLocation":"7223:3:183","nodeType":"VariableDeclaration","scope":105288,"src":"7216:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105199,"name":"uint32","nodeType":"ElementaryTypeName","src":"7216:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105202,"mutability":"mutable","name":"v1_","nameLocation":"7235:3:183","nodeType":"VariableDeclaration","scope":105288,"src":"7228:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105201,"name":"uint32","nodeType":"ElementaryTypeName","src":"7228:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105204,"mutability":"mutable","name":"newHeap_","nameLocation":"7247:8:183","nodeType":"VariableDeclaration","scope":105288,"src":"7240:15:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105203,"name":"uint32","nodeType":"ElementaryTypeName","src":"7240:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"src":"7215:41:183"},"scope":105708,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":105455,"nodeType":"FunctionDefinition","src":"8455:3288:183","nodes":[],"body":{"id":105454,"nodeType":"Block","src":"8629:3114:183","nodes":[],"statements":[{"id":105453,"nodeType":"UncheckedBlock","src":"8639:3098:183","statements":[{"expression":{"id":105308,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105303,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105295,"src":"8663:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"hexValue":"30","id":105306,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"8676:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"}],"id":105305,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"8669:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105304,"name":"uint32","nodeType":"ElementaryTypeName","src":"8669:6:183","typeDescriptions":{}}},"id":105307,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"8669:9:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"8663:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105309,"nodeType":"ExpressionStatement","src":"8663:15:183"},{"expression":{"id":105315,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105310,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105297,"src":"8692:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"hexValue":"30","id":105313,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"8705:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"}],"id":105312,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"8698:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105311,"name":"uint32","nodeType":"ElementaryTypeName","src":"8698:6:183","typeDescriptions":{}}},"id":105314,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"8698:9:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"8692:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105316,"nodeType":"ExpressionStatement","src":"8692:15:183"},{"expression":{"id":105320,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105317,"name":"newMemRoot_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105301,"src":"8721:11:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"expression":{"id":105318,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"8735:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105319,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"memRoot","nodeType":"MemberAccess","referencedDeclaration":104862,"src":"8735:13:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"src":"8721:27:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"id":105321,"nodeType":"ExpressionStatement","src":"8721:27:183"},{"expression":{"id":105325,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105322,"name":"newPreimageOffset_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105299,"src":"8762:18:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"expression":{"id":105323,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"8783:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105324,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"preimageOffset","nodeType":"MemberAccess","referencedDeclaration":104849,"src":"8783:20:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"8762:41:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105326,"nodeType":"ExpressionStatement","src":"8762:41:183"},{"condition":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105330,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":105327,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"8928:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105328,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a0","nodeType":"MemberAccess","referencedDeclaration":104837,"src":"8928:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105329,"name":"FD_STDIN","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105004,"src":"8940:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"8928:20:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"condition":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105335,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":105332,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9090:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105333,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a0","nodeType":"MemberAccess","referencedDeclaration":104837,"src":"9090:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105334,"name":"FD_PREIMAGE_READ","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105019,"src":"9102:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"9090:28:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"condition":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105428,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":105425,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"11390:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105426,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a0","nodeType":"MemberAccess","referencedDeclaration":104837,"src":"11390:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105427,"name":"FD_HINT_READ","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105013,"src":"11402:12:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"11390:24:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"id":105443,"nodeType":"Block","src":"11584:78:183","statements":[{"expression":{"id":105437,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105435,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105295,"src":"11602:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"hexValue":"30784646666646466666","id":105436,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"11608:10:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967295_by_1","typeString":"int_const 4294967295"},"value":"0xFFffFFff"},"src":"11602:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105438,"nodeType":"ExpressionStatement","src":"11602:16:183"},{"expression":{"id":105441,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105439,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105297,"src":"11636:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105440,"name":"EBADF","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105028,"src":"11642:5:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"11636:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105442,"nodeType":"ExpressionStatement","src":"11636:11:183"}]},"id":105444,"nodeType":"IfStatement","src":"11386:276:183","trueBody":{"id":105434,"nodeType":"Block","src":"11416:162:183","statements":[{"expression":{"id":105432,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105429,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105295,"src":"11549:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"expression":{"id":105430,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"11555:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105431,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a2","nodeType":"MemberAccess","referencedDeclaration":104843,"src":"11555:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"11549:14:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105433,"nodeType":"ExpressionStatement","src":"11549:14:183"}]}},"id":105445,"nodeType":"IfStatement","src":"9086:2576:183","trueBody":{"id":105424,"nodeType":"Block","src":"9120:2219:183","statements":[{"assignments":[105337],"declarations":[{"constant":false,"id":105337,"mutability":"mutable","name":"mem","nameLocation":"9274:3:183","nodeType":"VariableDeclaration","scope":105424,"src":"9267:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105336,"name":"uint32","nodeType":"ElementaryTypeName","src":"9267:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"id":105349,"initialValue":{"arguments":[{"expression":{"id":105340,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9299:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105341,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"memRoot","nodeType":"MemberAccess","referencedDeclaration":104862,"src":"9299:13:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105345,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":105342,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9314:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105343,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a1","nodeType":"MemberAccess","referencedDeclaration":104840,"src":"9314:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"&","rightExpression":{"hexValue":"30784646666646466663","id":105344,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"9325:10:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967292_by_1","typeString":"int_const 4294967292"},"value":"0xFFffFFfc"},"src":"9314:21:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"expression":{"id":105346,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9337:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105347,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"proofOffset","nodeType":"MemberAccess","referencedDeclaration":104859,"src":"9337:17:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bytes32","typeString":"bytes32"},{"typeIdentifier":"t_uint32","typeString":"uint32"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":105338,"name":"MIPSMemory","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":104812,"src":"9280:10:183","typeDescriptions":{"typeIdentifier":"t_type$_t_contract$_MIPSMemory_$104812_$","typeString":"type(library MIPSMemory)"}},"id":105339,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"readMem","nodeType":"MemberAccess","referencedDeclaration":104736,"src":"9280:18:183","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_bytes32_$_t_uint32_$_t_uint256_$returns$_t_uint32_$","typeString":"function (bytes32,uint32,uint256) pure returns (uint32)"}},"id":105348,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"9280:75:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"VariableDeclarationStatement","src":"9267:88:183"},{"condition":{"commonType":{"typeIdentifier":"t_uint8","typeString":"uint8"},"id":105358,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"arguments":[{"baseExpression":{"expression":{"id":105352,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9480:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105353,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"preimageKey","nodeType":"MemberAccess","referencedDeclaration":104846,"src":"9480:17:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"id":105355,"indexExpression":{"hexValue":"30","id":105354,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"9498:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"IndexAccess","src":"9480:20:183","typeDescriptions":{"typeIdentifier":"t_bytes1","typeString":"bytes1"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bytes1","typeString":"bytes1"}],"id":105351,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"9474:5:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint8_$","typeString":"type(uint8)"},"typeName":{"id":105350,"name":"uint8","nodeType":"ElementaryTypeName","src":"9474:5:183","typeDescriptions":{}}},"id":105356,"isConstant":false,"isLValue":false,"isPure":false,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"9474:27:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint8","typeString":"uint8"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"31","id":105357,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"9505:1:183","typeDescriptions":{"typeIdentifier":"t_rational_1_by_1","typeString":"int_const 1"},"value":"1"},"src":"9474:32:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"id":105372,"nodeType":"IfStatement","src":"9470:161:183","trueBody":{"id":105371,"nodeType":"Block","src":"9508:123:183","statements":[{"expression":{"id":105369,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"expression":{"id":105359,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9530:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105361,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":true,"memberName":"preimageKey","nodeType":"MemberAccess","referencedDeclaration":104846,"src":"9530:17:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"expression":{"id":105364,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9574:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105365,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"preimageKey","nodeType":"MemberAccess","referencedDeclaration":104846,"src":"9574:17:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},{"expression":{"id":105366,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9593:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105367,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"localContext","nodeType":"MemberAccess","referencedDeclaration":104852,"src":"9593:18:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bytes32","typeString":"bytes32"},{"typeIdentifier":"t_bytes32","typeString":"bytes32"}],"expression":{"id":105362,"name":"PreimageKeyLib","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":101031,"src":"9550:14:183","typeDescriptions":{"typeIdentifier":"t_type$_t_contract$_PreimageKeyLib_$101031_$","typeString":"type(library PreimageKeyLib)"}},"id":105363,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"localize","nodeType":"MemberAccess","referencedDeclaration":101020,"src":"9550:23:183","typeDescriptions":{"typeIdentifier":"t_function_internal_view$_t_bytes32_$_t_bytes32_$returns$_t_bytes32_$","typeString":"function (bytes32,bytes32) view returns (bytes32)"}},"id":105368,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"9550:62:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"src":"9530:82:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"id":105370,"nodeType":"ExpressionStatement","src":"9530:82:183"}]}},{"assignments":[105374,105376],"declarations":[{"constant":false,"id":105374,"mutability":"mutable","name":"dat","nameLocation":"9657:3:183","nodeType":"VariableDeclaration","scope":105424,"src":"9649:11:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":105373,"name":"bytes32","nodeType":"ElementaryTypeName","src":"9649:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"},{"constant":false,"id":105376,"mutability":"mutable","name":"datLen","nameLocation":"9670:6:183","nodeType":"VariableDeclaration","scope":105424,"src":"9662:14:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":105375,"name":"uint256","nodeType":"ElementaryTypeName","src":"9662:7:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"id":105385,"initialValue":{"arguments":[{"expression":{"id":105380,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9706:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105381,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"preimageKey","nodeType":"MemberAccess","referencedDeclaration":104846,"src":"9706:17:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},{"expression":{"id":105382,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9725:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105383,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"preimageOffset","nodeType":"MemberAccess","referencedDeclaration":104849,"src":"9725:20:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bytes32","typeString":"bytes32"},{"typeIdentifier":"t_uint32","typeString":"uint32"}],"expression":{"expression":{"id":105377,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9680:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105378,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"oracle","nodeType":"MemberAccess","referencedDeclaration":104856,"src":"9680:12:183","typeDescriptions":{"typeIdentifier":"t_contract$_IPreimageOracle_$102623","typeString":"contract IPreimageOracle"}},"id":105379,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"readPreimage","nodeType":"MemberAccess","referencedDeclaration":102564,"src":"9680:25:183","typeDescriptions":{"typeIdentifier":"t_function_external_view$_t_bytes32_$_t_uint256_$returns$_t_bytes32_$_t_uint256_$","typeString":"function (bytes32,uint256) view external returns (bytes32,uint256)"}},"id":105384,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"9680:66:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$_t_bytes32_$_t_uint256_$","typeString":"tuple(bytes32,uint256)"}},"nodeType":"VariableDeclarationStatement","src":"9648:98:183"},{"assignments":[105387],"declarations":[{"constant":false,"id":105387,"mutability":"mutable","name":"a1","nameLocation":"9908:2:183","nodeType":"VariableDeclaration","scope":105424,"src":"9901:9:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105386,"name":"uint32","nodeType":"ElementaryTypeName","src":"9901:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"id":105390,"initialValue":{"expression":{"id":105388,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9913:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105389,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a1","nodeType":"MemberAccess","referencedDeclaration":104840,"src":"9913:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"VariableDeclarationStatement","src":"9901:20:183"},{"assignments":[105392],"declarations":[{"constant":false,"id":105392,"mutability":"mutable","name":"a2","nameLocation":"9946:2:183","nodeType":"VariableDeclaration","scope":105424,"src":"9939:9:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105391,"name":"uint32","nodeType":"ElementaryTypeName","src":"9939:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"id":105395,"initialValue":{"expression":{"id":105393,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"9951:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105394,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a2","nodeType":"MemberAccess","referencedDeclaration":104843,"src":"9951:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"VariableDeclarationStatement","src":"9939:20:183"},{"AST":{"nodeType":"YulBlock","src":"9986:1111:183","statements":[{"nodeType":"YulVariableDeclaration","src":"10008:27:183","value":{"arguments":[{"name":"a1","nodeType":"YulIdentifier","src":"10029:2:183"},{"kind":"number","nodeType":"YulLiteral","src":"10033:1:183","type":"","value":"3"}],"functionName":{"name":"and","nodeType":"YulIdentifier","src":"10025:3:183"},"nodeType":"YulFunctionCall","src":"10025:10:183"},"variables":[{"name":"alignment","nodeType":"YulTypedName","src":"10012:9:183","type":""}]},{"nodeType":"YulVariableDeclaration","src":"10106:30:183","value":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"10123:1:183","type":"","value":"4"},{"name":"alignment","nodeType":"YulIdentifier","src":"10126:9:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10119:3:183"},"nodeType":"YulFunctionCall","src":"10119:17:183"},"variables":[{"name":"space","nodeType":"YulTypedName","src":"10110:5:183","type":""}]},{"body":{"nodeType":"YulBlock","src":"10212:19:183","statements":[{"nodeType":"YulAssignment","src":"10214:15:183","value":{"name":"space","nodeType":"YulIdentifier","src":"10224:5:183"},"variableNames":[{"name":"datLen","nodeType":"YulIdentifier","src":"10214:6:183"}]}]},"condition":{"arguments":[{"name":"space","nodeType":"YulIdentifier","src":"10197:5:183"},{"name":"datLen","nodeType":"YulIdentifier","src":"10204:6:183"}],"functionName":{"name":"lt","nodeType":"YulIdentifier","src":"10194:2:183"},"nodeType":"YulFunctionCall","src":"10194:17:183"},"nodeType":"YulIf","src":"10191:40:183"},{"body":{"nodeType":"YulBlock","src":"10311:16:183","statements":[{"nodeType":"YulAssignment","src":"10313:12:183","value":{"name":"a2","nodeType":"YulIdentifier","src":"10323:2:183"},"variableNames":[{"name":"datLen","nodeType":"YulIdentifier","src":"10313:6:183"}]}]},"condition":{"arguments":[{"name":"a2","nodeType":"YulIdentifier","src":"10299:2:183"},{"name":"datLen","nodeType":"YulIdentifier","src":"10303:6:183"}],"functionName":{"name":"lt","nodeType":"YulIdentifier","src":"10296:2:183"},"nodeType":"YulFunctionCall","src":"10296:14:183"},"nodeType":"YulIf","src":"10293:34:183"},{"nodeType":"YulAssignment","src":"10388:41:183","value":{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"10403:3:183","type":"","value":"256"},{"arguments":[{"name":"datLen","nodeType":"YulIdentifier","src":"10412:6:183"},{"kind":"number","nodeType":"YulLiteral","src":"10420:1:183","type":"","value":"8"}],"functionName":{"name":"mul","nodeType":"YulIdentifier","src":"10408:3:183"},"nodeType":"YulFunctionCall","src":"10408:14:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10399:3:183"},"nodeType":"YulFunctionCall","src":"10399:24:183"},{"name":"dat","nodeType":"YulIdentifier","src":"10425:3:183"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"10395:3:183"},"nodeType":"YulFunctionCall","src":"10395:34:183"},"variableNames":[{"name":"dat","nodeType":"YulIdentifier","src":"10388:3:183"}]},{"nodeType":"YulAssignment","src":"10470:55:183","value":{"arguments":[{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"10493:1:183","type":"","value":"4"},{"name":"datLen","nodeType":"YulIdentifier","src":"10496:6:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10489:3:183"},"nodeType":"YulFunctionCall","src":"10489:14:183"},{"name":"alignment","nodeType":"YulIdentifier","src":"10505:9:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10485:3:183"},"nodeType":"YulFunctionCall","src":"10485:30:183"},{"kind":"number","nodeType":"YulLiteral","src":"10517:1:183","type":"","value":"8"}],"functionName":{"name":"mul","nodeType":"YulIdentifier","src":"10481:3:183"},"nodeType":"YulFunctionCall","src":"10481:38:183"},{"name":"dat","nodeType":"YulIdentifier","src":"10521:3:183"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"10477:3:183"},"nodeType":"YulFunctionCall","src":"10477:48:183"},"variableNames":[{"name":"dat","nodeType":"YulIdentifier","src":"10470:3:183"}]},{"nodeType":"YulVariableDeclaration","src":"10613:53:183","value":{"arguments":[{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"10641:1:183","type":"","value":"4"},{"name":"alignment","nodeType":"YulIdentifier","src":"10644:9:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10637:3:183"},"nodeType":"YulFunctionCall","src":"10637:17:183"},{"kind":"number","nodeType":"YulLiteral","src":"10656:1:183","type":"","value":"8"}],"functionName":{"name":"mul","nodeType":"YulIdentifier","src":"10633:3:183"},"nodeType":"YulFunctionCall","src":"10633:25:183"},{"kind":"number","nodeType":"YulLiteral","src":"10660:1:183","type":"","value":"1"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"10629:3:183"},"nodeType":"YulFunctionCall","src":"10629:33:183"},{"kind":"number","nodeType":"YulLiteral","src":"10664:1:183","type":"","value":"1"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10625:3:183"},"nodeType":"YulFunctionCall","src":"10625:41:183"},"variables":[{"name":"mask","nodeType":"YulTypedName","src":"10617:4:183","type":""}]},{"nodeType":"YulVariableDeclaration","src":"10717:72:183","value":{"arguments":[{"arguments":[{"arguments":[{"arguments":[{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"10755:1:183","type":"","value":"4"},{"name":"alignment","nodeType":"YulIdentifier","src":"10758:9:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10751:3:183"},"nodeType":"YulFunctionCall","src":"10751:17:183"},{"name":"datLen","nodeType":"YulIdentifier","src":"10770:6:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10747:3:183"},"nodeType":"YulFunctionCall","src":"10747:30:183"},{"kind":"number","nodeType":"YulLiteral","src":"10779:1:183","type":"","value":"8"}],"functionName":{"name":"mul","nodeType":"YulIdentifier","src":"10743:3:183"},"nodeType":"YulFunctionCall","src":"10743:38:183"},{"kind":"number","nodeType":"YulLiteral","src":"10783:1:183","type":"","value":"1"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"10739:3:183"},"nodeType":"YulFunctionCall","src":"10739:46:183"},{"kind":"number","nodeType":"YulLiteral","src":"10787:1:183","type":"","value":"1"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"10735:3:183"},"nodeType":"YulFunctionCall","src":"10735:54:183"},"variables":[{"name":"suffixMask","nodeType":"YulTypedName","src":"10721:10:183","type":""}]},{"nodeType":"YulAssignment","src":"10884:34:183","value":{"arguments":[{"name":"mask","nodeType":"YulIdentifier","src":"10896:4:183"},{"arguments":[{"name":"suffixMask","nodeType":"YulIdentifier","src":"10906:10:183"}],"functionName":{"name":"not","nodeType":"YulIdentifier","src":"10902:3:183"},"nodeType":"YulFunctionCall","src":"10902:15:183"}],"functionName":{"name":"and","nodeType":"YulIdentifier","src":"10892:3:183"},"nodeType":"YulFunctionCall","src":"10892:26:183"},"variableNames":[{"name":"mask","nodeType":"YulIdentifier","src":"10884:4:183"}]},{"nodeType":"YulAssignment","src":"10987:35:183","value":{"arguments":[{"arguments":[{"name":"mem","nodeType":"YulIdentifier","src":"11001:3:183"},{"arguments":[{"name":"mask","nodeType":"YulIdentifier","src":"11010:4:183"}],"functionName":{"name":"not","nodeType":"YulIdentifier","src":"11006:3:183"},"nodeType":"YulFunctionCall","src":"11006:9:183"}],"functionName":{"name":"and","nodeType":"YulIdentifier","src":"10997:3:183"},"nodeType":"YulFunctionCall","src":"10997:19:183"},{"name":"dat","nodeType":"YulIdentifier","src":"11018:3:183"}],"functionName":{"name":"or","nodeType":"YulIdentifier","src":"10994:2:183"},"nodeType":"YulFunctionCall","src":"10994:28:183"},"variableNames":[{"name":"mem","nodeType":"YulIdentifier","src":"10987:3:183"}]}]},"evmVersion":"london","externalReferences":[{"declaration":105387,"isOffset":false,"isSlot":false,"src":"10029:2:183","valueSize":1},{"declaration":105392,"isOffset":false,"isSlot":false,"src":"10299:2:183","valueSize":1},{"declaration":105392,"isOffset":false,"isSlot":false,"src":"10323:2:183","valueSize":1},{"declaration":105374,"isOffset":false,"isSlot":false,"src":"10388:3:183","valueSize":1},{"declaration":105374,"isOffset":false,"isSlot":false,"src":"10425:3:183","valueSize":1},{"declaration":105374,"isOffset":false,"isSlot":false,"src":"10470:3:183","valueSize":1},{"declaration":105374,"isOffset":false,"isSlot":false,"src":"10521:3:183","valueSize":1},{"declaration":105374,"isOffset":false,"isSlot":false,"src":"11018:3:183","valueSize":1},{"declaration":105376,"isOffset":false,"isSlot":false,"src":"10204:6:183","valueSize":1},{"declaration":105376,"isOffset":false,"isSlot":false,"src":"10214:6:183","valueSize":1},{"declaration":105376,"isOffset":false,"isSlot":false,"src":"10303:6:183","valueSize":1},{"declaration":105376,"isOffset":false,"isSlot":false,"src":"10313:6:183","valueSize":1},{"declaration":105376,"isOffset":false,"isSlot":false,"src":"10412:6:183","valueSize":1},{"declaration":105376,"isOffset":false,"isSlot":false,"src":"10496:6:183","valueSize":1},{"declaration":105376,"isOffset":false,"isSlot":false,"src":"10770:6:183","valueSize":1},{"declaration":105337,"isOffset":false,"isSlot":false,"src":"10987:3:183","valueSize":1},{"declaration":105337,"isOffset":false,"isSlot":false,"src":"11001:3:183","valueSize":1}],"id":105396,"nodeType":"InlineAssembly","src":"9977:1120:183"},{"expression":{"id":105408,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105397,"name":"newMemRoot_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105301,"src":"11152:11:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105403,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":105400,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"11186:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105401,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"a1","nodeType":"MemberAccess","referencedDeclaration":104840,"src":"11186:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"&","rightExpression":{"hexValue":"30784646666646466663","id":105402,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"11197:10:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967292_by_1","typeString":"int_const 4294967292"},"value":"0xFFffFFfc"},"src":"11186:21:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"expression":{"id":105404,"name":"_args","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105292,"src":"11209:5:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams memory"}},"id":105405,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"proofOffset","nodeType":"MemberAccess","referencedDeclaration":104859,"src":"11209:17:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},{"id":105406,"name":"mem","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105337,"src":"11228:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint32","typeString":"uint32"},{"typeIdentifier":"t_uint256","typeString":"uint256"},{"typeIdentifier":"t_uint32","typeString":"uint32"}],"expression":{"id":105398,"name":"MIPSMemory","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":104812,"src":"11166:10:183","typeDescriptions":{"typeIdentifier":"t_type$_t_contract$_MIPSMemory_$104812_$","typeString":"type(library MIPSMemory)"}},"id":105399,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"writeMem","nodeType":"MemberAccess","referencedDeclaration":104757,"src":"11166:19:183","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_uint32_$_t_uint256_$_t_uint32_$returns$_t_bytes32_$","typeString":"function (uint32,uint256,uint32) pure returns (bytes32)"}},"id":105407,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"11166:66:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"src":"11152:80:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"id":105409,"nodeType":"ExpressionStatement","src":"11152:80:183"},{"expression":{"id":105415,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105410,"name":"newPreimageOffset_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105299,"src":"11250:18:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"+=","rightHandSide":{"arguments":[{"id":105413,"name":"datLen","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105376,"src":"11279:6:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":105412,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"11272:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105411,"name":"uint32","nodeType":"ElementaryTypeName","src":"11272:6:183","typeDescriptions":{}}},"id":105414,"isConstant":false,"isLValue":false,"isPure":false,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"11272:14:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"11250:36:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105416,"nodeType":"ExpressionStatement","src":"11250:36:183"},{"expression":{"id":105422,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105417,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105295,"src":"11304:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"id":105420,"name":"datLen","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105376,"src":"11317:6:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":105419,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"11310:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105418,"name":"uint32","nodeType":"ElementaryTypeName","src":"11310:6:183","typeDescriptions":{}}},"id":105421,"isConstant":false,"isLValue":false,"isPure":false,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"11310:14:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"11304:20:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105423,"nodeType":"ExpressionStatement","src":"11304:20:183"}]}},"id":105446,"nodeType":"IfStatement","src":"8924:2738:183","trueBody":{"id":105331,"nodeType":"Block","src":"8950:81:183","statements":[]}},{"expression":{"components":[{"id":105447,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105295,"src":"11684:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105448,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105297,"src":"11689:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105449,"name":"newPreimageOffset_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105299,"src":"11694:18:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105450,"name":"newMemRoot_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105301,"src":"11714:11:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}}],"id":105451,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"11683:43:183","typeDescriptions":{"typeIdentifier":"t_tuple$_t_uint32_$_t_uint32_$_t_uint32_$_t_bytes32_$","typeString":"tuple(uint32,uint32,uint32,bytes32)"}},"functionReturnParameters":105302,"id":105452,"nodeType":"Return","src":"11676:50:183"}]}]},"documentation":{"id":105289,"nodeType":"StructuredDocumentation","src":"8055:395:183","text":"@notice Like a Linux read syscall. Splits unaligned reads into aligned reads.\n         Args are provided as a struct to reduce stack pressure.\n @return v0_ The number of bytes read, -1 on error.\n @return v1_ The error code, 0 if there is no error.\n @return newPreimageOffset_ The new value for the preimage offset.\n @return newMemRoot_ The new memory root."},"implemented":true,"kind":"function","modifiers":[],"name":"handleSysRead","nameLocation":"8464:13:183","parameters":{"id":105293,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105292,"mutability":"mutable","name":"_args","nameLocation":"8499:5:183","nodeType":"VariableDeclaration","scope":105455,"src":"8478:26:183","stateVariable":false,"storageLocation":"memory","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_memory_ptr","typeString":"struct MIPSSyscalls.SysReadParams"},"typeName":{"id":105291,"nodeType":"UserDefinedTypeName","pathNode":{"id":105290,"name":"SysReadParams","nodeType":"IdentifierPath","referencedDeclaration":104863,"src":"8478:13:183"},"referencedDeclaration":104863,"src":"8478:13:183","typeDescriptions":{"typeIdentifier":"t_struct$_SysReadParams_$104863_storage_ptr","typeString":"struct MIPSSyscalls.SysReadParams"}},"visibility":"internal"}],"src":"8477:28:183"},"returnParameters":{"id":105302,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105295,"mutability":"mutable","name":"v0_","nameLocation":"8560:3:183","nodeType":"VariableDeclaration","scope":105455,"src":"8553:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105294,"name":"uint32","nodeType":"ElementaryTypeName","src":"8553:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105297,"mutability":"mutable","name":"v1_","nameLocation":"8572:3:183","nodeType":"VariableDeclaration","scope":105455,"src":"8565:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105296,"name":"uint32","nodeType":"ElementaryTypeName","src":"8565:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105299,"mutability":"mutable","name":"newPreimageOffset_","nameLocation":"8584:18:183","nodeType":"VariableDeclaration","scope":105455,"src":"8577:25:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105298,"name":"uint32","nodeType":"ElementaryTypeName","src":"8577:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105301,"mutability":"mutable","name":"newMemRoot_","nameLocation":"8612:11:183","nodeType":"VariableDeclaration","scope":105455,"src":"8604:19:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":105300,"name":"bytes32","nodeType":"ElementaryTypeName","src":"8604:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"}],"src":"8552:72:183"},"scope":105708,"stateMutability":"view","virtual":false,"visibility":"internal"},{"id":105570,"nodeType":"FunctionDefinition","src":"12440:2265:183","nodes":[],"body":{"id":105569,"nodeType":"Block","src":"12775:1930:183","nodes":[],"statements":[{"id":105568,"nodeType":"UncheckedBlock","src":"12785:1914:183","statements":[{"expression":{"id":105486,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105481,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105473,"src":"12918:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"hexValue":"30","id":105484,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"12931:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"}],"id":105483,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"12924:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105482,"name":"uint32","nodeType":"ElementaryTypeName","src":"12924:6:183","typeDescriptions":{}}},"id":105485,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"12924:9:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"12918:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105487,"nodeType":"ExpressionStatement","src":"12918:15:183"},{"expression":{"id":105493,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105488,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105475,"src":"12947:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"hexValue":"30","id":105491,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"12960:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"}],"id":105490,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"12953:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105489,"name":"uint32","nodeType":"ElementaryTypeName","src":"12953:6:183","typeDescriptions":{}}},"id":105492,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"12953:9:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"12947:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105494,"nodeType":"ExpressionStatement","src":"12947:15:183"},{"expression":{"id":105497,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105495,"name":"newPreimageKey_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105477,"src":"12976:15:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105496,"name":"_preimageKey","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105464,"src":"12994:12:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"src":"12976:30:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"id":105498,"nodeType":"ExpressionStatement","src":"12976:30:183"},{"expression":{"id":105501,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105499,"name":"newPreimageOffset_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105479,"src":"13020:18:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105500,"name":"_preimageOffset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105466,"src":"13041:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"13020:36:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105502,"nodeType":"ExpressionStatement","src":"13020:36:183"},{"condition":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105513,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105509,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105505,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105503,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105458,"src":"13075:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105504,"name":"FD_STDOUT","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105007,"src":"13082:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"13075:16:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105508,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105506,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105458,"src":"13095:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105507,"name":"FD_STDERR","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105010,"src":"13102:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"13095:16:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"13075:36:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105512,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105510,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105458,"src":"13115:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105511,"name":"FD_HINT_WRITE","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105016,"src":"13122:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"13115:20:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"13075:60:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"condition":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105521,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105519,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105458,"src":"13276:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105520,"name":"FD_PREIMAGE_WRITE","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105022,"src":"13283:17:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"13276:24:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"id":105559,"nodeType":"Block","src":"14542:78:183","statements":[{"expression":{"id":105553,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105551,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105473,"src":"14560:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"hexValue":"30784646666646466666","id":105552,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"14566:10:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967295_by_1","typeString":"int_const 4294967295"},"value":"0xFFffFFff"},"src":"14560:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105554,"nodeType":"ExpressionStatement","src":"14560:16:183"},{"expression":{"id":105557,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105555,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105475,"src":"14594:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105556,"name":"EBADF","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105028,"src":"14600:5:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"14594:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105558,"nodeType":"ExpressionStatement","src":"14594:11:183"}]},"id":105560,"nodeType":"IfStatement","src":"13272:1348:183","trueBody":{"id":105550,"nodeType":"Block","src":"13302:1234:183","statements":[{"assignments":[105523],"declarations":[{"constant":false,"id":105523,"mutability":"mutable","name":"mem","nameLocation":"13383:3:183","nodeType":"VariableDeclaration","scope":105550,"src":"13376:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105522,"name":"uint32","nodeType":"ElementaryTypeName","src":"13376:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"id":105532,"initialValue":{"arguments":[{"id":105526,"name":"_memRoot","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105470,"src":"13408:8:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105529,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105527,"name":"_a1","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105460,"src":"13418:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"&","rightExpression":{"hexValue":"30784646666646466663","id":105528,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"13424:10:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967292_by_1","typeString":"int_const 4294967292"},"value":"0xFFffFFfc"},"src":"13418:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105530,"name":"_proofOffset","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105468,"src":"13436:12:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_bytes32","typeString":"bytes32"},{"typeIdentifier":"t_uint32","typeString":"uint32"},{"typeIdentifier":"t_uint256","typeString":"uint256"}],"expression":{"id":105524,"name":"MIPSMemory","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":104812,"src":"13389:10:183","typeDescriptions":{"typeIdentifier":"t_type$_t_contract$_MIPSMemory_$104812_$","typeString":"type(library MIPSMemory)"}},"id":105525,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"memberName":"readMem","nodeType":"MemberAccess","referencedDeclaration":104736,"src":"13389:18:183","typeDescriptions":{"typeIdentifier":"t_function_internal_pure$_t_bytes32_$_t_uint32_$_t_uint256_$returns$_t_uint32_$","typeString":"function (bytes32,uint32,uint256) pure returns (uint32)"}},"id":105531,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"13389:60:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"VariableDeclarationStatement","src":"13376:73:183"},{"assignments":[105534],"declarations":[{"constant":false,"id":105534,"mutability":"mutable","name":"key","nameLocation":"13475:3:183","nodeType":"VariableDeclaration","scope":105550,"src":"13467:11:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":105533,"name":"bytes32","nodeType":"ElementaryTypeName","src":"13467:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"}],"id":105536,"initialValue":{"id":105535,"name":"_preimageKey","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105464,"src":"13481:12:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"nodeType":"VariableDeclarationStatement","src":"13467:26:183"},{"AST":{"nodeType":"YulBlock","src":"13656:651:183","statements":[{"nodeType":"YulVariableDeclaration","src":"13678:28:183","value":{"arguments":[{"name":"_a1","nodeType":"YulIdentifier","src":"13699:3:183"},{"kind":"number","nodeType":"YulLiteral","src":"13704:1:183","type":"","value":"3"}],"functionName":{"name":"and","nodeType":"YulIdentifier","src":"13695:3:183"},"nodeType":"YulFunctionCall","src":"13695:11:183"},"variables":[{"name":"alignment","nodeType":"YulTypedName","src":"13682:9:183","type":""}]},{"nodeType":"YulVariableDeclaration","src":"13777:30:183","value":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"13794:1:183","type":"","value":"4"},{"name":"alignment","nodeType":"YulIdentifier","src":"13797:9:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"13790:3:183"},"nodeType":"YulFunctionCall","src":"13790:17:183"},"variables":[{"name":"space","nodeType":"YulTypedName","src":"13781:5:183","type":""}]},{"body":{"nodeType":"YulBlock","src":"13880:16:183","statements":[{"nodeType":"YulAssignment","src":"13882:12:183","value":{"name":"space","nodeType":"YulIdentifier","src":"13889:5:183"},"variableNames":[{"name":"_a2","nodeType":"YulIdentifier","src":"13882:3:183"}]}]},"condition":{"arguments":[{"name":"space","nodeType":"YulIdentifier","src":"13868:5:183"},{"name":"_a2","nodeType":"YulIdentifier","src":"13875:3:183"}],"functionName":{"name":"lt","nodeType":"YulIdentifier","src":"13865:2:183"},"nodeType":"YulFunctionCall","src":"13865:14:183"},"nodeType":"YulIf","src":"13862:34:183"},{"nodeType":"YulAssignment","src":"13958:28:183","value":{"arguments":[{"arguments":[{"name":"_a2","nodeType":"YulIdentifier","src":"13973:3:183"},{"kind":"number","nodeType":"YulLiteral","src":"13978:1:183","type":"","value":"8"}],"functionName":{"name":"mul","nodeType":"YulIdentifier","src":"13969:3:183"},"nodeType":"YulFunctionCall","src":"13969:11:183"},{"name":"key","nodeType":"YulIdentifier","src":"13982:3:183"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"13965:3:183"},"nodeType":"YulFunctionCall","src":"13965:21:183"},"variableNames":[{"name":"key","nodeType":"YulIdentifier","src":"13958:3:183"}]},{"nodeType":"YulVariableDeclaration","src":"14045:39:183","value":{"arguments":[{"arguments":[{"arguments":[{"name":"_a2","nodeType":"YulIdentifier","src":"14069:3:183"},{"kind":"number","nodeType":"YulLiteral","src":"14074:1:183","type":"","value":"8"}],"functionName":{"name":"mul","nodeType":"YulIdentifier","src":"14065:3:183"},"nodeType":"YulFunctionCall","src":"14065:11:183"},{"kind":"number","nodeType":"YulLiteral","src":"14078:1:183","type":"","value":"1"}],"functionName":{"name":"shl","nodeType":"YulIdentifier","src":"14061:3:183"},"nodeType":"YulFunctionCall","src":"14061:19:183"},{"kind":"number","nodeType":"YulLiteral","src":"14082:1:183","type":"","value":"1"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"14057:3:183"},"nodeType":"YulFunctionCall","src":"14057:27:183"},"variables":[{"name":"mask","nodeType":"YulTypedName","src":"14049:4:183","type":""}]},{"nodeType":"YulAssignment","src":"14146:51:183","value":{"arguments":[{"arguments":[{"arguments":[{"arguments":[{"name":"space","nodeType":"YulIdentifier","src":"14169:5:183"},{"name":"_a2","nodeType":"YulIdentifier","src":"14176:3:183"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"14165:3:183"},"nodeType":"YulFunctionCall","src":"14165:15:183"},{"kind":"number","nodeType":"YulLiteral","src":"14182:1:183","type":"","value":"8"}],"functionName":{"name":"mul","nodeType":"YulIdentifier","src":"14161:3:183"},"nodeType":"YulFunctionCall","src":"14161:23:183"},{"name":"mem","nodeType":"YulIdentifier","src":"14186:3:183"}],"functionName":{"name":"shr","nodeType":"YulIdentifier","src":"14157:3:183"},"nodeType":"YulFunctionCall","src":"14157:33:183"},{"name":"mask","nodeType":"YulIdentifier","src":"14192:4:183"}],"functionName":{"name":"and","nodeType":"YulIdentifier","src":"14153:3:183"},"nodeType":"YulFunctionCall","src":"14153:44:183"},"variableNames":[{"name":"mem","nodeType":"YulIdentifier","src":"14146:3:183"}]},{"nodeType":"YulAssignment","src":"14251:19:183","value":{"arguments":[{"name":"key","nodeType":"YulIdentifier","src":"14261:3:183"},{"name":"mem","nodeType":"YulIdentifier","src":"14266:3:183"}],"functionName":{"name":"or","nodeType":"YulIdentifier","src":"14258:2:183"},"nodeType":"YulFunctionCall","src":"14258:12:183"},"variableNames":[{"name":"key","nodeType":"YulIdentifier","src":"14251:3:183"}]}]},"evmVersion":"london","externalReferences":[{"declaration":105460,"isOffset":false,"isSlot":false,"src":"13699:3:183","valueSize":1},{"declaration":105462,"isOffset":false,"isSlot":false,"src":"13875:3:183","valueSize":1},{"declaration":105462,"isOffset":false,"isSlot":false,"src":"13882:3:183","valueSize":1},{"declaration":105462,"isOffset":false,"isSlot":false,"src":"13973:3:183","valueSize":1},{"declaration":105462,"isOffset":false,"isSlot":false,"src":"14069:3:183","valueSize":1},{"declaration":105462,"isOffset":false,"isSlot":false,"src":"14176:3:183","valueSize":1},{"declaration":105534,"isOffset":false,"isSlot":false,"src":"13958:3:183","valueSize":1},{"declaration":105534,"isOffset":false,"isSlot":false,"src":"13982:3:183","valueSize":1},{"declaration":105534,"isOffset":false,"isSlot":false,"src":"14251:3:183","valueSize":1},{"declaration":105534,"isOffset":false,"isSlot":false,"src":"14261:3:183","valueSize":1},{"declaration":105523,"isOffset":false,"isSlot":false,"src":"14146:3:183","valueSize":1},{"declaration":105523,"isOffset":false,"isSlot":false,"src":"14186:3:183","valueSize":1},{"declaration":105523,"isOffset":false,"isSlot":false,"src":"14266:3:183","valueSize":1}],"id":105537,"nodeType":"InlineAssembly","src":"13647:660:183"},{"expression":{"id":105540,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105538,"name":"newPreimageKey_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105477,"src":"14374:15:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105539,"name":"key","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105534,"src":"14392:3:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"src":"14374:21:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"id":105541,"nodeType":"ExpressionStatement","src":"14374:21:183"},{"expression":{"id":105544,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105542,"name":"newPreimageOffset_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105479,"src":"14413:18:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"hexValue":"30","id":105543,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"14434:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"14413:22:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105545,"nodeType":"ExpressionStatement","src":"14413:22:183"},{"expression":{"id":105548,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105546,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105473,"src":"14512:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105547,"name":"_a2","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105462,"src":"14518:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"14512:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105549,"nodeType":"ExpressionStatement","src":"14512:9:183"}]}},"id":105561,"nodeType":"IfStatement","src":"13071:1549:183","trueBody":{"id":105518,"nodeType":"Block","src":"13137:85:183","statements":[{"expression":{"id":105516,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105514,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105473,"src":"13155:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105515,"name":"_a2","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105462,"src":"13161:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"13155:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105517,"nodeType":"ExpressionStatement","src":"13155:9:183"}]}},{"expression":{"components":[{"id":105562,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105473,"src":"14642:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105563,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105475,"src":"14647:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105564,"name":"newPreimageKey_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105477,"src":"14652:15:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},{"id":105565,"name":"newPreimageOffset_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105479,"src":"14669:18:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"id":105566,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"14641:47:183","typeDescriptions":{"typeIdentifier":"t_tuple$_t_uint32_$_t_uint32_$_t_bytes32_$_t_uint32_$","typeString":"tuple(uint32,uint32,bytes32,uint32)"}},"functionReturnParameters":105480,"id":105567,"nodeType":"Return","src":"14634:54:183"}]}]},"documentation":{"id":105456,"nodeType":"StructuredDocumentation","src":"11749:686:183","text":"@notice Like a Linux write syscall. Splits unaligned writes into aligned writes.\n @param _a0 The file descriptor.\n @param _a1 The memory address to read from.\n @param _a2 The number of bytes to read.\n @param _preimageKey The current preimaageKey.\n @param _preimageOffset The current preimageOffset.\n @param _proofOffset The offset of the memory proof in calldata.\n @param _memRoot The current memory root.\n @return v0_ The number of bytes written, or -1 on error.\n @return v1_ The error code, or 0 if empty.\n @return newPreimageKey_ The new preimageKey.\n @return newPreimageOffset_ The new preimageOffset."},"implemented":true,"kind":"function","modifiers":[],"name":"handleSysWrite","nameLocation":"12449:14:183","parameters":{"id":105471,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105458,"mutability":"mutable","name":"_a0","nameLocation":"12480:3:183","nodeType":"VariableDeclaration","scope":105570,"src":"12473:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105457,"name":"uint32","nodeType":"ElementaryTypeName","src":"12473:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105460,"mutability":"mutable","name":"_a1","nameLocation":"12500:3:183","nodeType":"VariableDeclaration","scope":105570,"src":"12493:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105459,"name":"uint32","nodeType":"ElementaryTypeName","src":"12493:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105462,"mutability":"mutable","name":"_a2","nameLocation":"12520:3:183","nodeType":"VariableDeclaration","scope":105570,"src":"12513:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105461,"name":"uint32","nodeType":"ElementaryTypeName","src":"12513:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105464,"mutability":"mutable","name":"_preimageKey","nameLocation":"12541:12:183","nodeType":"VariableDeclaration","scope":105570,"src":"12533:20:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":105463,"name":"bytes32","nodeType":"ElementaryTypeName","src":"12533:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"},{"constant":false,"id":105466,"mutability":"mutable","name":"_preimageOffset","nameLocation":"12570:15:183","nodeType":"VariableDeclaration","scope":105570,"src":"12563:22:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105465,"name":"uint32","nodeType":"ElementaryTypeName","src":"12563:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105468,"mutability":"mutable","name":"_proofOffset","nameLocation":"12603:12:183","nodeType":"VariableDeclaration","scope":105570,"src":"12595:20:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":105467,"name":"uint256","nodeType":"ElementaryTypeName","src":"12595:7:183","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"},{"constant":false,"id":105470,"mutability":"mutable","name":"_memRoot","nameLocation":"12633:8:183","nodeType":"VariableDeclaration","scope":105570,"src":"12625:16:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":105469,"name":"bytes32","nodeType":"ElementaryTypeName","src":"12625:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"}],"src":"12463:184:183"},"returnParameters":{"id":105480,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105473,"mutability":"mutable","name":"v0_","nameLocation":"12702:3:183","nodeType":"VariableDeclaration","scope":105570,"src":"12695:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105472,"name":"uint32","nodeType":"ElementaryTypeName","src":"12695:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105475,"mutability":"mutable","name":"v1_","nameLocation":"12714:3:183","nodeType":"VariableDeclaration","scope":105570,"src":"12707:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105474,"name":"uint32","nodeType":"ElementaryTypeName","src":"12707:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105477,"mutability":"mutable","name":"newPreimageKey_","nameLocation":"12727:15:183","nodeType":"VariableDeclaration","scope":105570,"src":"12719:23:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"},"typeName":{"id":105476,"name":"bytes32","nodeType":"ElementaryTypeName","src":"12719:7:183","typeDescriptions":{"typeIdentifier":"t_bytes32","typeString":"bytes32"}},"visibility":"internal"},{"constant":false,"id":105479,"mutability":"mutable","name":"newPreimageOffset_","nameLocation":"12751:18:183","nodeType":"VariableDeclaration","scope":105570,"src":"12744:25:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105478,"name":"uint32","nodeType":"ElementaryTypeName","src":"12744:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"src":"12694:76:183"},"scope":105708,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":105663,"nodeType":"FunctionDefinition","src":"15115:886:183","nodes":[],"body":{"id":105662,"nodeType":"Block","src":"15210:791:183","nodes":[],"statements":[{"id":105661,"nodeType":"UncheckedBlock","src":"15220:775:183","statements":[{"expression":{"id":105587,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105582,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105578,"src":"15244:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"hexValue":"30","id":105585,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"15257:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"}],"id":105584,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"15250:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105583,"name":"uint32","nodeType":"ElementaryTypeName","src":"15250:6:183","typeDescriptions":{}}},"id":105586,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"15250:9:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15244:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105588,"nodeType":"ExpressionStatement","src":"15244:15:183"},{"expression":{"id":105594,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105589,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105580,"src":"15273:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"arguments":[{"hexValue":"30","id":105592,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"15286:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"}],"expression":{"argumentTypes":[{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"}],"id":105591,"isConstant":false,"isLValue":false,"isPure":true,"lValueRequested":false,"nodeType":"ElementaryTypeNameExpression","src":"15279:6:183","typeDescriptions":{"typeIdentifier":"t_type$_t_uint32_$","typeString":"type(uint32)"},"typeName":{"id":105590,"name":"uint32","nodeType":"ElementaryTypeName","src":"15279:6:183","typeDescriptions":{}}},"id":105593,"isConstant":false,"isLValue":false,"isPure":true,"kind":"typeConversion","lValueRequested":false,"names":[],"nodeType":"FunctionCall","src":"15279:9:183","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15273:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105595,"nodeType":"ExpressionStatement","src":"15273:15:183"},{"condition":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105598,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105596,"name":"_a1","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105575,"src":"15348:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"hexValue":"33","id":105597,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"15355:1:183","typeDescriptions":{"typeIdentifier":"t_rational_3_by_1","typeString":"int_const 3"},"value":"3"},"src":"15348:8:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"id":105655,"nodeType":"Block","src":"15837:116:183","statements":[{"expression":{"id":105649,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105647,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105578,"src":"15855:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"hexValue":"30784646666646466666","id":105648,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"15861:10:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967295_by_1","typeString":"int_const 4294967295"},"value":"0xFFffFFff"},"src":"15855:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105650,"nodeType":"ExpressionStatement","src":"15855:16:183"},{"expression":{"id":105653,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105651,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105580,"src":"15889:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105652,"name":"EINVAL","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105031,"src":"15895:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15889:12:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105654,"nodeType":"ExpressionStatement","src":"15889:12:183"}]},"id":105656,"nodeType":"IfStatement","src":"15344:609:183","trueBody":{"id":105646,"nodeType":"Block","src":"15358:473:183","statements":[{"condition":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105609,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105605,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105601,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105599,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105573,"src":"15434:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105600,"name":"FD_STDIN","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105004,"src":"15441:8:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15434:15:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105604,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105602,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105573,"src":"15453:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105603,"name":"FD_PREIMAGE_READ","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105019,"src":"15460:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15453:23:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"15434:42:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105608,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105606,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105573,"src":"15480:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105607,"name":"FD_HINT_READ","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105013,"src":"15487:12:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15480:19:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"15434:65:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"condition":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105629,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105625,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_bool","typeString":"bool"},"id":105621,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105617,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105615,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105573,"src":"15571:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105616,"name":"FD_STDOUT","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105007,"src":"15578:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15571:16:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105620,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105618,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105573,"src":"15591:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105619,"name":"FD_STDERR","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105010,"src":"15598:9:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15591:16:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"15571:36:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105624,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105622,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105573,"src":"15611:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105623,"name":"FD_PREIMAGE_WRITE","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105022,"src":"15618:17:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15611:24:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"15571:64:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"nodeType":"BinaryOperation","operator":"||","rightExpression":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105628,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":105626,"name":"_a0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105573,"src":"15639:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"==","rightExpression":{"id":105627,"name":"FD_HINT_WRITE","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105016,"src":"15646:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15639:20:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"src":"15571:88:183","typeDescriptions":{"typeIdentifier":"t_bool","typeString":"bool"}},"falseBody":{"id":105643,"nodeType":"Block","src":"15727:90:183","statements":[{"expression":{"id":105637,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105635,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105578,"src":"15749:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"hexValue":"30784646666646466666","id":105636,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"15755:10:183","typeDescriptions":{"typeIdentifier":"t_rational_4294967295_by_1","typeString":"int_const 4294967295"},"value":"0xFFffFFff"},"src":"15749:16:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105638,"nodeType":"ExpressionStatement","src":"15749:16:183"},{"expression":{"id":105641,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105639,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105580,"src":"15787:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105640,"name":"EBADF","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105028,"src":"15793:5:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"15787:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105642,"nodeType":"ExpressionStatement","src":"15787:11:183"}]},"id":105644,"nodeType":"IfStatement","src":"15567:250:183","trueBody":{"id":105634,"nodeType":"Block","src":"15661:60:183","statements":[{"expression":{"id":105632,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105630,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105578,"src":"15683:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"hexValue":"31","id":105631,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"15689:1:183","typeDescriptions":{"typeIdentifier":"t_rational_1_by_1","typeString":"int_const 1"},"value":"1"},"src":"15683:7:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105633,"nodeType":"ExpressionStatement","src":"15683:7:183"}]}},"id":105645,"nodeType":"IfStatement","src":"15430:387:183","trueBody":{"id":105614,"nodeType":"Block","src":"15501:60:183","statements":[{"expression":{"id":105612,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":105610,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105578,"src":"15523:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"hexValue":"30","id":105611,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"15529:1:183","typeDescriptions":{"typeIdentifier":"t_rational_0_by_1","typeString":"int_const 0"},"value":"0"},"src":"15523:7:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105613,"nodeType":"ExpressionStatement","src":"15523:7:183"}]}}]}},{"expression":{"components":[{"id":105657,"name":"v0_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105578,"src":"15975:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},{"id":105658,"name":"v1_","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105580,"src":"15980:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}}],"id":105659,"isConstant":false,"isInlineArray":false,"isLValue":false,"isPure":false,"lValueRequested":false,"nodeType":"TupleExpression","src":"15974:10:183","typeDescriptions":{"typeIdentifier":"t_tuple$_t_uint32_$_t_uint32_$","typeString":"tuple(uint32,uint32)"}},"functionReturnParameters":105581,"id":105660,"nodeType":"Return","src":"15967:17:183"}]}]},"documentation":{"id":105571,"nodeType":"StructuredDocumentation","src":"14711:399:183","text":"@notice Like Linux fcntl (file control) syscall, but only supports minimal file-descriptor control commands, to\n retrieve the file-descriptor R/W flags.\n @param _a0 The file descriptor.\n @param _a1 The control command.\n @param v0_ The file status flag (only supported command is F_GETFL), or -1 on error.\n @param v1_ An error number, or 0 if there is no error."},"implemented":true,"kind":"function","modifiers":[],"name":"handleSysFcntl","nameLocation":"15124:14:183","parameters":{"id":105576,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105573,"mutability":"mutable","name":"_a0","nameLocation":"15146:3:183","nodeType":"VariableDeclaration","scope":105663,"src":"15139:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105572,"name":"uint32","nodeType":"ElementaryTypeName","src":"15139:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105575,"mutability":"mutable","name":"_a1","nameLocation":"15158:3:183","nodeType":"VariableDeclaration","scope":105663,"src":"15151:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105574,"name":"uint32","nodeType":"ElementaryTypeName","src":"15151:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"src":"15138:24:183"},"returnParameters":{"id":105581,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105578,"mutability":"mutable","name":"v0_","nameLocation":"15193:3:183","nodeType":"VariableDeclaration","scope":105663,"src":"15186:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105577,"name":"uint32","nodeType":"ElementaryTypeName","src":"15186:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105580,"mutability":"mutable","name":"v1_","nameLocation":"15205:3:183","nodeType":"VariableDeclaration","scope":105663,"src":"15198:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105579,"name":"uint32","nodeType":"ElementaryTypeName","src":"15198:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"src":"15185:24:183"},"scope":105708,"stateMutability":"pure","virtual":false,"visibility":"internal"},{"id":105707,"nodeType":"FunctionDefinition","src":"16007:466:183","nodes":[],"body":{"id":105706,"nodeType":"Block","src":"16190:283:183","nodes":[],"statements":[{"id":105705,"nodeType":"UncheckedBlock","src":"16200:267:183","statements":[{"expression":{"id":105681,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"baseExpression":{"id":105677,"name":"_registers","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105670,"src":"16285:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32] memory"}},"id":105679,"indexExpression":{"hexValue":"32","id":105678,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"16296:1:183","typeDescriptions":{"typeIdentifier":"t_rational_2_by_1","typeString":"int_const 2"},"value":"2"},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":true,"nodeType":"IndexAccess","src":"16285:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105680,"name":"_v0","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105672,"src":"16301:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"16285:19:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105682,"nodeType":"ExpressionStatement","src":"16285:19:183"},{"expression":{"id":105687,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"baseExpression":{"id":105683,"name":"_registers","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105670,"src":"16318:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32] memory"}},"id":105685,"indexExpression":{"hexValue":"37","id":105684,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"16329:1:183","typeDescriptions":{"typeIdentifier":"t_rational_7_by_1","typeString":"int_const 7"},"value":"7"},"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":true,"nodeType":"IndexAccess","src":"16318:13:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":105686,"name":"_v1","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105674,"src":"16334:3:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"16318:19:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105688,"nodeType":"ExpressionStatement","src":"16318:19:183"},{"expression":{"id":105694,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"expression":{"id":105689,"name":"_cpu","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105666,"src":"16392:4:183","typeDescriptions":{"typeIdentifier":"t_struct$_CpuScalars_$104823_memory_ptr","typeString":"struct MIPSState.CpuScalars memory"}},"id":105691,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":true,"memberName":"pc","nodeType":"MemberAccess","referencedDeclaration":104816,"src":"16392:7:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"expression":{"id":105692,"name":"_cpu","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105666,"src":"16402:4:183","typeDescriptions":{"typeIdentifier":"t_struct$_CpuScalars_$104823_memory_ptr","typeString":"struct MIPSState.CpuScalars memory"}},"id":105693,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"nextPC","nodeType":"MemberAccess","referencedDeclaration":104818,"src":"16402:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"16392:21:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105695,"nodeType":"ExpressionStatement","src":"16392:21:183"},{"expression":{"id":105703,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"expression":{"id":105696,"name":"_cpu","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105666,"src":"16427:4:183","typeDescriptions":{"typeIdentifier":"t_struct$_CpuScalars_$104823_memory_ptr","typeString":"struct MIPSState.CpuScalars memory"}},"id":105698,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":true,"memberName":"nextPC","nodeType":"MemberAccess","referencedDeclaration":104818,"src":"16427:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_uint32","typeString":"uint32"},"id":105702,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"expression":{"id":105699,"name":"_cpu","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":105666,"src":"16441:4:183","typeDescriptions":{"typeIdentifier":"t_struct$_CpuScalars_$104823_memory_ptr","typeString":"struct MIPSState.CpuScalars memory"}},"id":105700,"isConstant":false,"isLValue":true,"isPure":false,"lValueRequested":false,"memberName":"nextPC","nodeType":"MemberAccess","referencedDeclaration":104818,"src":"16441:11:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"34","id":105701,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"16455:1:183","typeDescriptions":{"typeIdentifier":"t_rational_4_by_1","typeString":"int_const 4"},"value":"4"},"src":"16441:15:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"src":"16427:29:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105704,"nodeType":"ExpressionStatement","src":"16427:29:183"}]}]},"implemented":true,"kind":"function","modifiers":[],"name":"handleSyscallUpdates","nameLocation":"16016:20:183","parameters":{"id":105675,"nodeType":"ParameterList","parameters":[{"constant":false,"id":105666,"mutability":"mutable","name":"_cpu","nameLocation":"16067:4:183","nodeType":"VariableDeclaration","scope":105707,"src":"16046:25:183","stateVariable":false,"storageLocation":"memory","typeDescriptions":{"typeIdentifier":"t_struct$_CpuScalars_$104823_memory_ptr","typeString":"struct MIPSState.CpuScalars"},"typeName":{"id":105665,"nodeType":"UserDefinedTypeName","pathNode":{"id":105664,"name":"st.CpuScalars","nodeType":"IdentifierPath","referencedDeclaration":104823,"src":"16046:13:183"},"referencedDeclaration":104823,"src":"16046:13:183","typeDescriptions":{"typeIdentifier":"t_struct$_CpuScalars_$104823_storage_ptr","typeString":"struct MIPSState.CpuScalars"}},"visibility":"internal"},{"constant":false,"id":105670,"mutability":"mutable","name":"_registers","nameLocation":"16099:10:183","nodeType":"VariableDeclaration","scope":105707,"src":"16081:28:183","stateVariable":false,"storageLocation":"memory","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_memory_ptr","typeString":"uint32[32]"},"typeName":{"baseType":{"id":105667,"name":"uint32","nodeType":"ElementaryTypeName","src":"16081:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"id":105669,"length":{"hexValue":"3332","id":105668,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"16088:2:183","typeDescriptions":{"typeIdentifier":"t_rational_32_by_1","typeString":"int_const 32"},"value":"32"},"nodeType":"ArrayTypeName","src":"16081:10:183","typeDescriptions":{"typeIdentifier":"t_array$_t_uint32_$32_storage_ptr","typeString":"uint32[32]"}},"visibility":"internal"},{"constant":false,"id":105672,"mutability":"mutable","name":"_v0","nameLocation":"16126:3:183","nodeType":"VariableDeclaration","scope":105707,"src":"16119:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105671,"name":"uint32","nodeType":"ElementaryTypeName","src":"16119:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"},{"constant":false,"id":105674,"mutability":"mutable","name":"_v1","nameLocation":"16146:3:183","nodeType":"VariableDeclaration","scope":105707,"src":"16139:10:183","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"},"typeName":{"id":105673,"name":"uint32","nodeType":"ElementaryTypeName","src":"16139:6:183","typeDescriptions":{"typeIdentifier":"t_uint32","typeString":"uint32"}},"visibility":"internal"}],"src":"16036:119:183"},"returnParameters":{"id":105676,"nodeType":"ParameterList","parameters":[],"src":"16190:0:183"},"scope":105708,"stateMutability":"pure","virtual":false,"visibility":"internal"}],"abstract":false,"baseContracts":[],"canonicalName":"MIPSSyscalls","contractDependencies":[],"contractKind":"library","fullyImplemented":true,"linearizedBaseContracts":[105708],"name":"MIPSSyscalls","nameLocation":"343:12:183","scope":105709,"usedErrors":[]}],"license":"MIT"},"id":183}