K 10 svn:author V 3 jhb K 8 svn:date V 27 2000-09-21T06:56:11.000000Z K 7 svn:log V 93 Add in and document two new debugging options used in the mutex code: SMP_DEBUG and WITNESS. END