Symbol: print_wrong_arg_exit