// SPDX-License-Identifier: GPL-2.0
#include <stdint.h>
#include <pthread.h>

int main(void)
{
	pthread_barrier_t barrier;

	pthread_barrier_init(&barrier, NULL, 1);
	pthread_barrier_wait(&barrier);
	return pthread_barrier_destroy(&barrier);
}