read_files_and_state
static void read_files_and_state(int, char **);
read_files_and_state(argc, argv);