Constant GDK_KEY_Control_R 

pub const GDK_KEY_Control_R: c_int = 65508;