K 10 svn:author V 4 jkim K 8 svn:date V 27 2013-08-03T00:19:26.712796Z K 7 svn:log V 73 Redo r253891. It seems compilers generate better code with this change. END