Constant HotkeyModifiers_HOTKEY_MOD_CTRL 

pub const HotkeyModifiers_HOTKEY_MOD_CTRL: HotkeyModifiers = 1;