pub unsafe extern "C" fn pthread_mutex_destroy(
    __mutex: *mut u32
) -> i32