Constant GDK_KEY_MouseKeys_Enable 

pub const GDK_KEY_MouseKeys_Enable: c_int = 65142;