In fact, something similar to the check for reasonable sizes will need to be done to guarantee that INTVAL is large enough to hold "opcode_t *" in order to support jumps to absolute addresses held in registers, if jump Ix is fixed to match its definition.
-- Jason
