chiark / gitweb /
Whoops. I'd left the type of the jump buffer as `sigjmp_buf'.