K 10
svn:author
V 3
pjd
K 8
svn:date
V 27
2014-09-30T12:00:50.497793Z
K 7
svn:log
V 213
Be prepared that set_dumper() might fail even when resetting it or prefix
the call with (void) to document that we intentionally ignore the return
value - no way to handle an error in case of device disappearing.

END