pub const GDK_KEY_Thai_baht: c_int = 3551;