The text e23222ecbea3, as Debian 8 (Jessie) shipped it.
enter and exit a critical region
critical(9freebsd) on Linux now
