pub type khronos_uint8_t = c_uchar;