#include <stdio.h>
#include <linux/futex.h>
#include <linux/unistd.h>
#include <time.h>

_syscall6(int, futex,  int*, addr,  int, op,  int, val,  struct timespec*,
		                timeout, int*, addr2,  int, val3);

int main(int argc, char* argv[])
{
	int a;
	futex(&a, FUTEX_WAIT, 1, NULL, NULL, 0);

	return 0;
}