K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2013-01-18T11:09:43.184005Z
K 7
svn:log
V 66
machine/counter.h needs counter_u64_t typedef.

Noted by:	glebius

END