The text dc2205cb8b76, as Debian 9 (Stretch) shipped it.
performing a nonlocal goto
setjmp(3) on Linux now
