Constant OPT_WINDOW_HEIGHT 

pub const OPT_WINDOW_HEIGHT: &[u8; 14] = b"window-height\0";