pub const Hangul_Dikeud: Key = _; // 3_751u32