#include <liblockdep/mutex.h>
  
  void main(void)
  {
  	pthread_mutex_t a;
  
  	pthread_mutex_init(&a, NULL);
  
  	pthread_mutex_lock(&a);
  	pthread_mutex_unlock(&a);
  	pthread_mutex_unlock(&a);
  }