Index: src/work/marci/time_measure.h
===================================================================
--- src/work/marci/time_measure.h	(revision 121)
+++ src/work/marci/time_measure.h	(revision 124)
@@ -77,21 +77,17 @@
   double getUserTime() const
   {
-    long cls = sysconf(_SC_CLK_TCK);
-    return double(ts.tms_utime)/cls;
+    return double(ts.tms_utime)/sysconf(_SC_CLK_TCK);
   }
   double getSystemTime() const
   {
-    long cls = sysconf(_SC_CLK_TCK);
-    return double(ts.tms_stime)/cls;
+    return double(ts.tms_stime)/sysconf(_SC_CLK_TCK);
   }
   double getCUserTime() const
   {
-    long cls = sysconf(_SC_CLK_TCK);
-    return double(ts.tms_cutime)/cls;
+    return double(ts.tms_cutime)/sysconf(_SC_CLK_TCK);
   }
   double getCSystemTime() const
   {
-    long cls = sysconf(_SC_CLK_TCK);
-    return double(ts.tms_cstime)/cls;
+    return double(ts.tms_cstime)/sysconf(_SC_CLK_TCK);
   }
 };
@@ -101,7 +97,8 @@
   TimeStamp start_time;
 
+  void _reset() {start_time.stamp();}
+
 public: 
-  void reset() {start_time.stamp();}
-  Timer() {reset();}
+  Timer() {_reset();}
 
   operator TimeStamp ()
@@ -110,5 +107,13 @@
     t.stamp();
     return t-start_time;
-  }  
+  }
+  
+  TimeStamp reset()
+  {
+    TimeStamp t(start_time);
+    _reset();
+    return start_time-t;
+  }
+
 };