pub const XK_udoubleacute: u32 = 507;