thanh: modify timer.h