Constant GDK_BUTTON4_MASK 

pub const GDK_BUTTON4_MASK: GdkModifierType = 2048;