pub type khronos_uint32_t = u32;