Constant JIT_OP_STORE_ELEMENT_BYTE 

pub const JIT_OP_STORE_ELEMENT_BYTE: u32 = 423;