#include #include int main(void) { sem_getvalue(NULL, NULL); return 0; }