Symbol: seq_do_timing