Constant GDK_KEY_Thai_thothong 

pub const GDK_KEY_Thai_thothong: c_int = 3512;