pub const XK_asciitilde: u32 = 0x07e; // 126u32