Constant GDK_KEY_ocircumflextilde 

pub const GDK_KEY_ocircumflextilde: c_int = 16785111;