Symbol: print_categories