The text a7e656b9f856, as Debian 3.1 (Sarge) shipped it.
save stack context for non-local goto
setjmp(3) on Linux now
