pub type Ctc_Encoding = c_uint;