be_plain_font_height  721 src/haiku_support.h extern int be_plain_font_height (void);
be_plain_font_height 2454 src/haikufns.c       int height = be_plain_font_height ();
be_plain_font_height 2461 src/haikufns.c 	  height = be_plain_font_height ();