Constant GDK_KEY_Thai_chochoe 

pub const GDK_KEY_Thai_chochoe: c_int = 3500;