pub const XK_numbersign: c_uint = 0x023;