pub const KEY_RIGHTCTRL: u32 = 97; // 97u32