K 10
svn:author
V 6
tsoome
K 8
svn:date
V 27
2019-10-24T07:49:33.430618Z
K 7
svn:log
V 116
userboot/test should use PRIx64 as one would expect from prefix 0x

Test is printing decimal value after prefix 0x.

END