Constant JIT_OP_LOAD_ELEMENT_USHORT 

pub const JIT_OP_LOAD_ELEMENT_USHORT: u32 = 417;