The text 69aa0d8bdd04, as Debian 11 (Bullseye) shipped it.
performing a nonlocal goto
setjmp(3) on Linux now
