K 10 svn:author V 5 markj K 8 svn:date V 27 2016-07-29T20:48:42.140899Z K 7 svn:log V 55 Fix the KASSERT format string arguments after r303507. END