Constant GDK_KEY_abovedot 

pub const GDK_KEY_abovedot: c_int = 511;