my $t0 = [gettimeofday];