Type Definition libc_interface::clock_t

type clock_t = u64;