Constant GDK_KEY_Pointer_DownRight 

pub const GDK_KEY_Pointer_DownRight: c_int = 65255;