[]Type Definition skyline::libc::__time_t

type __time_t = i32;