Constant GDK_KEY_Ohorntilde 

pub const GDK_KEY_Ohorntilde: c_int = 16785120;