(time (do some stuff))