Symbol: MAX_JMP_SEQ