pub const Thai_leksam: u32 = 0xdf3; // 3_571u32