Symbol: print_unknown_arg