The text 7a9c6e14b95e, as Debian 9 (Stretch) shipped it.
kernel synchronization primitives
mtx_init(9freebsd) on Linux now
