Constant JIT_OP_STORE_ELEMENT_INT 

pub const JIT_OP_STORE_ELEMENT_INT: u32 = 425;