chiark / gitweb /
unit: dump start/exit timestamp