#[no_mangle]
pub unsafe extern "C" fn sgx_thread_equal(
    a: sgx_thread_t,
    b: sgx_thread_t
) -> i32