pub const OPT_SHOW_FPS: &[u8; 12] = b"gui-showfps\0";