K 10 svn:author V 8 mckusick K 8 svn:date V 27 2012-04-18T19:34:20.760438Z K 7 svn:log V 87 Delete a no longer useful VNASSERT missed during changes in 234400. Suggested by: kib END