Code Editor : semaphore-private.h