Symbol: MAX_INSNS