added util.h, timer.h