make highlight function pluggable so that customized highlight function ...