pub const XK_dabovedot: u32 = 16784907;