#include <pthread.h>

#include "../basic.h"

int main(void)
{
	/*
	 * When the last thread calls pthread_exit() it should terminate
	 * the process - currently it leads tp sleep_forever().
	 */
	err(1, "pthread_exit");

	pthread_exit(NULL);
}