The syntax is the same as in
set_timer_t0.html