pub const GDK_KEY_Arabic_waw: c_int = 1512;