K 10 svn:author V 3 phk K 8 svn:date V 27 1997-12-28T13:36:09.000000Z K 7 svn:log V 95 wash, sort and put in order various nits from the i586_ctr -> tsc commit. Pointed out by: bde END