pub const KEY_RIGHTCTRL: c_int = 97;