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