let utime f x =                                                   
  let u = (Unix.times()).tms_utime in                                  
  let y = f x in
  let ut = (Unix.times()).tms_utime -. u in
  (y,ut)