process_args
void process_args(int argc, char **argv, int *howto, char *file,
process_args(argc, argv, &howto, booted_file, &start_args);