Constant GDK_HYPER_MASK 

pub const GDK_HYPER_MASK: GdkModifierType = 134217728;