pub const XK_ocircumflexbelowdot: u32 = 16785113;