Constant GDK_BUTTON5_MASK 

pub const GDK_BUTTON5_MASK: GdkModifierType = 4096;