K 10 svn:author V 3 jhb K 8 svn:date V 27 2001-11-15T19:46:36.000000Z K 7 svn:log V 118 Add a couple of returns to making recovering from a failed witness_assert() more sane in the RESTARTABLE_PANICS case. END