1238689209
longjmp. I suspect that the occasional double panic may be the result of incorrect parameters to longjmp. This happens, of course, like the entire file, only with -DVINUMDEBUG.