DEFAULT_8X16_FONT
#if !defined(DEFAULT_8X16_FONT)
(void) insert_font(DEFAULT_8X16_FONT, FONT_MANUAL);