/* 
 * Exemplo 0: FUTEX_WAIT
 */ 
#define _GNU_SOURCE
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

#include <pthread.h>
#include "myfutex.h"

int futex_var;

int main() {
  futex_var = 0;
  
  futex_wait((void*) &futex_var, 1);
  futex_wait((void*) &futex_var, 0);
  return 0; /* Nunca alcançado. */
}