Constant sgx_libc::SYS_io_destroy

pub const SYS_io_destroy: i64 = 207; // 207i64