Symbol: print_label_header