The text e3cd9b3b0e8d, as Debian 6.0 (Squeeze) shipped it.
get the value of a semaphore
sem_getvalue(3) on Linux now
