printf("Done with args\n");
break;
default: /* something wrong */
default:
abort();
show_usage();
return 1;
}