pub const XK_Greek_pi: u32 = 0x7f0; // 2_032u32