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}

 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}