Constant GDK_KEY_ecircumflextilde 

pub const GDK_KEY_ecircumflextilde: c_int = 16785093;