Constant GDK_CONTROL_MASK 

pub const GDK_CONTROL_MASK: GdkModifierType = 4;