void read_file(const char* file_name);