* Changes to timer.hpp