OP_IGET_CHAR_JUMBO.S revision a8b91c52fd8a90b784835dfe1f8898035266c4dd 
1%verify "executed"
2%verify "large values are not sign-extended"
3%include "mips/OP_IGET_JUMBO.S"
4