// Example 13-18: Using back_inserter to add numbers to a vector.
#include <algorithm>
#include <fstream>
#include <iostream>
#include <iterator>
#include <vector>

int main()
{
  std::ifstream in("experiment.dat");
  std::vector<int> data;
  std::copy(std::istream_iterator<int>(in),
            std::istream_iterator<int>(),
            std::back_inserter(data));
  std::copy(data.begin(), data.end(),
            std::ostream_iterator<int>(std::cout, "\n"));
}