#ifndef __HELPERS_H
#define __HELPERS_H
#include <pthread.h>

void __pthread_spin_lock_helper(pthread_spinlock_t* lock);

#endif