Type Definition libc::intmax_t

type intmax_t = i64;