time(foo)={ my(start=getabstime()); foo(); getabstime()-start; }