We don't even guarantee that the 'user time' and 'system time' reported
   by getrusage be monotonic [1].  Never mind what happens to the child times
   of a shell that runs date(1) to change the system time.
   
   	David
   
   [1] even their sum can go down.


why?  this just seems _wrong_ to me.  i can see getting them wrong but
them going _backwards_ seem like a bug we can avoid...


.mrg.