pub const evm_insn_EVM_INS_SLT: evm_insn = 18;