| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1194272 | log(address,address,bytes32) | 0x61d07f98 |
| 1194266 | log(bool,bytes32) | 0x64659d06 |
| 1194264 | logMemory(uint256,uint256) | 0xda36a5a0 |
| 1194263 | _memcopyView(uint256,uint256,uint256) | 0x01ab5089 |
| 1194262 | _memcopy(uint256,uint256,uint256) | 0x344120c5 |
| 1194258 | _viewChainId() | 0x29700587 |
| 1194257 | destroyAccount(address,address) | 0x7f9e1f0e |
| 1194250 | _isPayable(address) | 0xb2421409 |
| 1194249 | assumeNoBlacklisted(address,address) | 0x8250f2ca |
| 1194240 | exposed_assumeNotPayable(address) | 0x17cc73a0 |