The text 85b0c47d7fbb, as Debian 12 (Bookworm) shipped it.
Implements the Semaphore type designed by Dijkstra
semaphore(3bobcat) on Linux now
