timer.h: access to the accumulated time is now const