Constant GDK_KEY_Wcircumflex 

pub const GDK_KEY_Wcircumflex: c_int = 16777588;