pub const Ctc_Encoding_CTC_UTF8: Ctc_Encoding = 12;