void terminate_price_file(PriceFile* price_file) { FILE *dos_file_stream; dos_file_stream = price_file->dos_file_stream; fclose(dos_file_stream); }