Symbol: add_timer