The text ed2f912eae9d, as Debian 7 (Wheezy) shipped it.
get the value of a semaphore
sem_getvalue(3) on Linux now
