K 10 svn:author V 2 se K 8 svn:date V 27 1997-03-25T19:12:08.000000Z K 7 svn:log V 69 Fix printing of map sizes: large numbers got a negative sign before. END