execution: FAILED
main: create thread
thread: attempt spin lock
thread: acquired spin lock
main: attempt to unlock a spinlock that we don't own
main: Error at pthread_spin_unlock()