K 10 svn:author V 8 jmallett K 8 svn:date V 27 2010-07-20T04:46:04.077453Z K 7 svn:log V 119 Merge from head. Some of the style changes in the merge of my MIPS work are probably wrong and need some hand-fixing. END