Edit: semaphore.h