pub const Thai_lakkhangyao: u32 = 0xde5; // 3_557u32