time(foo)={
  foo();
  gettime();
}