#include <pthread.h>

#include "../basic.h"

int main(void)
{
	pthread_exit(NULL);
}
