Symbol: print_generic_header