void process_products(fstream& fs) throw (UnexpectedEndOfFile, bad_alloc)
void process_products(fstream& fs) throw ()