The text a5a381e923cb, as Debian 10 (Buster) shipped it.
Implements the Semaphore type designed by Dijkstra
semaphore(3bobcat) on Linux now
