pub const XK_asterisk: u32 = 0x02a; // 42u32