Constant GDK_KEY_sevensubscript 

pub const GDK_KEY_sevensubscript: c_int = 16785543;