The text ba478e6c9d65, as Debian 8 (Jessie) shipped it.
dequeue pointer from bounded FIFO
ck_ring_dequeue_spmc(3) on Linux now