Symbol: MAX_INSN