The text bd8bb782912a, as Debian 10 (Buster) shipped it.
enter and exit a critical region
critical_enter(9freebsd) on Linux now
