Constant GDK_KEY_ohornbelowdot 

pub const GDK_KEY_ohornbelowdot: c_int = 16785123;