Symbol: seq_print_timing_details