Constant GDK_KEY_dead_tilde 

pub const GDK_KEY_dead_tilde: c_int = 65107;