#include <stdio.h>
#include "lock.h"

main ()
{
  Lock *lock = make_lock ();

  acquire (lock);
  printf ("%d\n", lock->value);
  release (lock);
  printf ("%d\n", lock->value);
}