pub type DISPLAYCONFIG_COLOR_ENCODING = u32;