Constant GDK_KEY_Thai_thothung 

pub const GDK_KEY_Thai_thothung: c_int = 3510;