Type Definition sgx_libc::c_int

pub type c_int = i32;