The text a4254250e84d, as Debian 9 (Stretch) shipped it.
Implements the Semaphore type designed by Dijkstra
semaphore(3bobcat) on Linux now
