pub type CK_UTF8CHAR = c_uchar;