Constant GDK_KEY_Thai_khokhon 

pub const GDK_KEY_Thai_khokhon: c_int = 3493;