#include <pthread.h>

typedef struct lock Lock;

Lock *make_lock ();
void lock_acquire (Lock *lock);
void lock_release (Lock *lock);
pthread_mutex_t get_mutex (Lock *lock);