K 10 svn:author V 10 nwhitehorn K 8 svn:date V 27 2011-11-17T15:48:12.885993Z K 7 svn:log V 61 Add an extra invariant here which was useful on 64-bit CPUs. END