pub const OPT_WINDOW_WIDTH: &[u8; 13] = b"window-width\0";