Improved time_val.cpp::timer