| (* For Capstone Engine. AUTO-GENERATED FILE, DO NOT EDIT [neo_const.ml] *) |
| |
| let _NEO_FEE_0 = 0;; |
| let _NEO_FEE_01 = 1;; |
| let _NEO_FEE_001 = 2;; |
| let _NEO_FEE_002 = 3;; |
| let _NEO_FEE_0001 = 4;; |
| |
| (* NEO instruction *) |
| |
| let _NEO_INS_PUSH0 = 0;; |
| let _NEO_INS_PUSHBYTES1 = 1;; |
| let _NEO_INS_PUSHBYTES2 = 2;; |
| let _NEO_INS_PUSHBYTES3 = 3;; |
| let _NEO_INS_PUSHBYTES4 = 4;; |
| let _NEO_INS_PUSHBYTES5 = 5;; |
| let _NEO_INS_PUSHBYTES6 = 6;; |
| let _NEO_INS_PUSHBYTES7 = 7;; |
| let _NEO_INS_PUSHBYTES8 = 8;; |
| let _NEO_INS_PUSHBYTES9 = 9;; |
| let _NEO_INS_PUSHBYTES10 = 10;; |
| let _NEO_INS_PUSHBYTES11 = 11;; |
| let _NEO_INS_PUSHBYTES12 = 12;; |
| let _NEO_INS_PUSHBYTES13 = 13;; |
| let _NEO_INS_PUSHBYTES14 = 14;; |
| let _NEO_INS_PUSHBYTES15 = 15;; |
| let _NEO_INS_PUSHBYTES16 = 16;; |
| let _NEO_INS_PUSHBYTES17 = 17;; |
| let _NEO_INS_PUSHBYTES18 = 18;; |
| let _NEO_INS_PUSHBYTES19 = 19;; |
| let _NEO_INS_PUSHBYTES20 = 20;; |
| let _NEO_INS_PUSHBYTES21 = 21;; |
| let _NEO_INS_PUSHBYTES22 = 22;; |
| let _NEO_INS_PUSHBYTES23 = 23;; |
| let _NEO_INS_PUSHBYTES24 = 24;; |
| let _NEO_INS_PUSHBYTES25 = 25;; |
| let _NEO_INS_PUSHBYTES26 = 26;; |
| let _NEO_INS_PUSHBYTES27 = 27;; |
| let _NEO_INS_PUSHBYTES28 = 28;; |
| let _NEO_INS_PUSHBYTES29 = 29;; |
| let _NEO_INS_PUSHBYTES30 = 30;; |
| let _NEO_INS_PUSHBYTES31 = 31;; |
| let _NEO_INS_PUSHBYTES32 = 32;; |
| let _NEO_INS_PUSHBYTES33 = 33;; |
| let _NEO_INS_PUSHBYTES34 = 34;; |
| let _NEO_INS_PUSHBYTES35 = 35;; |
| let _NEO_INS_PUSHBYTES36 = 36;; |
| let _NEO_INS_PUSHBYTES37 = 37;; |
| let _NEO_INS_PUSHBYTES38 = 38;; |
| let _NEO_INS_PUSHBYTES39 = 39;; |
| let _NEO_INS_PUSHBYTES40 = 40;; |
| let _NEO_INS_PUSHBYTES41 = 41;; |
| let _NEO_INS_PUSHBYTES42 = 42;; |
| let _NEO_INS_PUSHBYTES43 = 43;; |
| let _NEO_INS_PUSHBYTES44 = 44;; |
| let _NEO_INS_PUSHBYTES45 = 45;; |
| let _NEO_INS_PUSHBYTES46 = 46;; |
| let _NEO_INS_PUSHBYTES47 = 47;; |
| let _NEO_INS_PUSHBYTES48 = 48;; |
| let _NEO_INS_PUSHBYTES49 = 49;; |
| let _NEO_INS_PUSHBYTES50 = 50;; |
| let _NEO_INS_PUSHBYTES51 = 51;; |
| let _NEO_INS_PUSHBYTES52 = 52;; |
| let _NEO_INS_PUSHBYTES53 = 53;; |
| let _NEO_INS_PUSHBYTES54 = 54;; |
| let _NEO_INS_PUSHBYTES55 = 55;; |
| let _NEO_INS_PUSHBYTES56 = 56;; |
| let _NEO_INS_PUSHBYTES57 = 57;; |
| let _NEO_INS_PUSHBYTES58 = 58;; |
| let _NEO_INS_PUSHBYTES59 = 59;; |
| let _NEO_INS_PUSHBYTES60 = 60;; |
| let _NEO_INS_PUSHBYTES61 = 61;; |
| let _NEO_INS_PUSHBYTES62 = 62;; |
| let _NEO_INS_PUSHBYTES63 = 63;; |
| let _NEO_INS_PUSHBYTES64 = 64;; |
| let _NEO_INS_PUSHBYTES65 = 65;; |
| let _NEO_INS_PUSHBYTES66 = 66;; |
| let _NEO_INS_PUSHBYTES67 = 67;; |
| let _NEO_INS_PUSHBYTES68 = 68;; |
| let _NEO_INS_PUSHBYTES69 = 69;; |
| let _NEO_INS_PUSHBYTES70 = 70;; |
| let _NEO_INS_PUSHBYTES71 = 71;; |
| let _NEO_INS_PUSHBYTES72 = 72;; |
| let _NEO_INS_PUSHBYTES73 = 73;; |
| let _NEO_INS_PUSHBYTES74 = 74;; |
| let _NEO_INS_PUSHBYTES75 = 75;; |
| let _NEO_INS_PUSHDATA1 = 76;; |
| let _NEO_INS_PUSHDATA2 = 77;; |
| let _NEO_INS_PUSHDATA4 = 78;; |
| let _NEO_INS_PUSHM1 = 79;; |
| let _NEO_INS_PUSH1 = 81;; |
| let _NEO_INS_PUSH2 = 82;; |
| let _NEO_INS_PUSH3 = 83;; |
| let _NEO_INS_PUSH4 = 84;; |
| let _NEO_INS_PUSH5 = 85;; |
| let _NEO_INS_PUSH6 = 86;; |
| let _NEO_INS_PUSH7 = 87;; |
| let _NEO_INS_PUSH8 = 88;; |
| let _NEO_INS_PUSH9 = 89;; |
| let _NEO_INS_PUSH10 = 90;; |
| let _NEO_INS_PUSH11 = 91;; |
| let _NEO_INS_PUSH12 = 92;; |
| let _NEO_INS_PUSH13 = 93;; |
| let _NEO_INS_PUSH14 = 94;; |
| let _NEO_INS_PUSH15 = 95;; |
| let _NEO_INS_PUSH16 = 96;; |
| let _NEO_INS_NOP = 97;; |
| let _NEO_INS_JMP = 98;; |
| let _NEO_INS_JMPIF = 99;; |
| let _NEO_INS_JMPIFNOT = 100;; |
| let _NEO_INS_CALL = 101;; |
| let _NEO_INS_RET = 102;; |
| let _NEO_INS_APPCALL = 103;; |
| let _NEO_INS_SYSCALL = 104;; |
| let _NEO_INS_TAILCALL = 105;; |
| let _NEO_INS_DUPFROMALTSTACK = 106;; |
| let _NEO_INS_TOALTSTACK = 107;; |
| let _NEO_INS_FROMALTSTACK = 108;; |
| let _NEO_INS_XDROP = 109;; |
| let _NEO_INS_XSWAP = 114;; |
| let _NEO_INS_XTUCK = 115;; |
| let _NEO_INS_DEPTH = 116;; |
| let _NEO_INS_DROP = 117;; |
| let _NEO_INS_DUP = 118;; |
| let _NEO_INS_NIP = 119;; |
| let _NEO_INS_OVER = 120;; |
| let _NEO_INS_PICK = 121;; |
| let _NEO_INS_ROLL = 122;; |
| let _NEO_INS_ROT = 123;; |
| let _NEO_INS_SWAP = 124;; |
| let _NEO_INS_TUCK = 125;; |
| let _NEO_INS_CAT = 126;; |
| let _NEO_INS_SUBSTR = 127;; |
| let _NEO_INS_LEFT = 128;; |
| let _NEO_INS_RIGHT = 129;; |
| let _NEO_INS_SIZE = 130;; |
| let _NEO_INS_INVERT = 131;; |
| let _NEO_INS_AND = 132;; |
| let _NEO_INS_OR = 133;; |
| let _NEO_INS_XOR = 134;; |
| let _NEO_INS_EQUAL = 135;; |
| let _NEO_INS_OP_EQUALVERIFY = 136;; |
| let _NEO_INS_OP_RESERVED1 = 137;; |
| let _NEO_INS_OP_RESERVED2 = 138;; |
| let _NEO_INS_INC = 139;; |
| let _NEO_INS_DEC = 140;; |
| let _NEO_INS_SIGN = 141;; |
| let _NEO_INS_NEGATE = 143;; |
| let _NEO_INS_ABS = 144;; |
| let _NEO_INS_NOT = 145;; |
| let _NEO_INS_NZ = 146;; |
| let _NEO_INS_ADD = 147;; |
| let _NEO_INS_SUB = 148;; |
| let _NEO_INS_MUL = 149;; |
| let _NEO_INS_DIV = 150;; |
| let _NEO_INS_MOD = 151;; |
| let _NEO_INS_SHL = 152;; |
| let _NEO_INS_SHR = 153;; |
| let _NEO_INS_BOOLAND = 154;; |
| let _NEO_INS_BOOLOR = 155;; |
| let _NEO_INS_NUMEQUAL = 156;; |
| let _NEO_INS_NUMNOTEQUAL = 158;; |
| let _NEO_INS_LT = 159;; |
| let _NEO_INS_GT = 160;; |
| let _NEO_INS_LTE = 161;; |
| let _NEO_INS_GTE = 162;; |
| let _NEO_INS_MIN = 163;; |
| let _NEO_INS_MAX = 164;; |
| let _NEO_INS_WITHIN = 165;; |
| let _NEO_INS_SHA1 = 167;; |
| let _NEO_INS_SHA256 = 168;; |
| let _NEO_INS_HASH160 = 169;; |
| let _NEO_INS_HASH256 = 170;; |
| let _NEO_INS_CHECKSIG = 172;; |
| let _NEO_INS_VERIFY = 173;; |
| let _NEO_INS_CHECKMULTISIG = 174;; |
| let _NEO_INS_ARRAYSIZE = 192;; |
| let _NEO_INS_PACK = 193;; |
| let _NEO_INS_UNPACK = 194;; |
| let _NEO_INS_PICKITEM = 195;; |
| let _NEO_INS_SETITEM = 196;; |
| let _NEO_INS_NEWARRAY = 197;; |
| let _NEO_INS_NEWSTRUCT = 198;; |
| let _NEO_INS_NEWMAP = 199;; |
| let _NEO_INS_APPEND = 200;; |
| let _NEO_INS_REVERSE = 201;; |
| let _NEO_INS_REMOVE = 202;; |
| let _NEO_INS_HASKEY = 203;; |
| let _NEO_INS_KEYS = 204;; |
| let _NEO_INS_VALUES = 205;; |
| let _NEO_INS_THROW = 240;; |
| let _NEO_INS_THROWIFNOT = 241;; |
| let _NEO_INS_INVALID = 512;; |
| let _NEO_INS_ENDING = 513;; |
| |
| (* Group of NEO instructions *) |
| |
| let _NEO_GRP_INVALID = 0;; |
| let _NEO_GRP_JUMP = 1;; |
| let _NEO_GRP_MATH = 8;; |
| let _NEO_GRP_STACK_WRITE = 9;; |
| let _NEO_GRP_STACK_READ = 10;; |
| let _NEO_GRP_ENDING = 11;; |