Constant GDK_KEY_RELEASE_MASK 

pub const GDK_KEY_RELEASE_MASK: GdkEventMask = 2048;