Constant GDK_KEY_sevensuperior 

pub const GDK_KEY_sevensuperior: c_int = 16785527;