pub const KEY_RIGHTCTRL: u32 = 97;