#include "dining.h"

semaphore make_semaphore(void)
{
   int   *sema;

   sema = calloc(2, sizeof(int));     /* permanent storage */
   pipe(sema);
   return sema;
}