logo
pub const XK_F12: u32 = 65481; // 65_481u32