pub const Thai_leksong: u32 = 0xdf2; // 3_570u32