pub type khronos_uint64_t = u64;