Constant GDK_KEY_Thai_choching 

pub const GDK_KEY_Thai_choching: c_int = 3497;