my $run_time = ((times())[0] + (times())[1]);