Constant GDK_KEY_9 

pub const GDK_KEY_9: c_int = 57;