Constant GDK_KEY_babovedot 

pub const GDK_KEY_babovedot: c_int = 16784899;