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