K 10 svn:author V 5 luigi K 8 svn:date V 27 2009-12-10T18:37:14.185552Z K 7 svn:log V 60 use div64 when converting back the burst value for userland END