// SPDX-License-Identifier: GPL-2.0
#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);
}