Symbol: MAX_BACKTRACK_ANALYZE_INSN