Type Definition libc::clock_t

type clock_t = i32;