The text 6c5a161c760b, as Debian 8 (Jessie) shipped it.
SMP-friendly kernel counter implementation
counter_enter(9freebsd) on Linux now
