The text fdd410f02da3, as Debian 7 (Wheezy) shipped it.
enter and exit a critical region
critical(9freebsd) on Linux now
