"type-of-timer"