K 10 svn:author V 4 avos K 8 svn:date V 27 2016-05-04T18:08:38.164050Z K 7 svn:log V 44 wi: fix a comment (0x1fff has 13 bits set). END