pub const OPT_FONT_NAME: &[u8; 13] = b"gui-fontname\0";