pub const XF86XK_Reply: u32 = 0x1008FF72; // 269_025_138u32