Constant JIT_OP_STORE_ELEMENT_SHORT 

pub const JIT_OP_STORE_ELEMENT_SHORT: u32 = 424;