Constant gdk_sys::GDK_KEY_topt

pub const GDK_KEY_topt: c_int = 2551;