#include <stdio.h>
#include <malloc.h>
#include "semaphore.h"

main ()
{
  Semaphore *semaphore = make_semaphore (1);

  semaphore_wait (semaphore);
  printf ("%d\n", semaphore->value);
  semaphore_signal (semaphore);
  printf ("%d\n", semaphore->value);
}