Type Definition skyline::libc::intmax_t

type intmax_t = i64;