pub const XF86_Launch4: u32 = 0x1008ff44; // 269_025_092u32