K 10
svn:author
V 6
jasone
K 8
svn:date
V 27
2000-09-09T22:43:22.000000Z
K 7
svn:log
V 201
Add file and line arguments to WITNESS_ENTER() and WITNESS_EXIT, since
__FILE__ and __LINE__ don't get expanded usefully in inline functions.

Add const to all witness*() arguments that are filenames.

END