pub const OPTION_XWINDOW_DISPLAY_MANAGER: u32 = 49u32;