haiku_rehighlight  569 src/haikuterm.c   haiku_rehighlight ();
haiku_rehighlight 4119 src/haikuterm.c   haiku_rehighlight ();