The syntax is the same as in set_timer_t0.html