cc [options] -Kthread file #include <synch.h> int sema_destroy(sema_t *sema);
#include <synch.h>
int sema_destroy(sema_t *sema);