The .s code should be examined to see that operations
are really implemented as semaphores (and that others aren't).
