Extension of timer API