Constant GDK_KEY_dabovedot 

pub const GDK_KEY_dabovedot: c_int = 16784907;