1#include <liblockdep/mutex.h>
2
3void main(void)
4{
5	pthread_mutex_t a;
6
7	pthread_mutex_init(&a, NULL);
8
9	pthread_mutex_lock(&a);
10	pthread_mutex_unlock(&a);
11	pthread_mutex_unlock(&a);
12}
13