SemaphoresAndMutex: add basic SemaDiscoTex