(* 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;;