when the string index is greater than 2^16, the const-string "jumbo" instruction must be used instead of the const-string instruction