pub const XK_F19: u32 = 65488;