pub const Thai_khokhuat: u32 = 0xda3; // 3_491u32