Type Definition sgx_types::intmax_t

type intmax_t = i64;