Type Definition sgx_types::c_int

type c_int = i32;