my $t0 = [gettimeofday]; my $elapsed = tv_interval($t0);