(require 'auto-highlight-symbol)