sgx_types
pub unsafe extern "C" fn sgx_destroy_enclave( enclave_id: sgx_enclave_id_t) -> sgx_status_t