Constant GDK_KEY_ohorntilde 

pub const GDK_KEY_ohorntilde: c_int = 16785121;