Symbol: seq_print_one_timing_detail