Symbol: print_headers