The text 72eff168c1f7, as Debian 6.0 (Squeeze) shipped it.
save stack context for nonlocal goto
setjmp(3) on Linux now
