K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2013-10-23T14:34:04.407654Z
K 7
svn:log
V 106
A quick addendum: the standard says that timebase-frequency can be either
32 or 64 bits, so allow either.

END