K 10 svn:author V 6 mjacob K 8 svn:date V 27 2006-05-04T02:34:18.000000Z K 7 svn:log V 47 Remove MPT_PRT_INVARIANT- it was a silly idea. END