define TIMER load_on auto timer.cpp timer.h rng