public void Dispose() { reader.Close(); }
public void Dispose() { Console.WriteLine("Produced: " + outputCounter + " tuples"); reader.Close(); }