Some preparations for highlight.h