#include <stl.h>
#include <iostream.h>

int main ()
{
  vector<int> v;

  v.push_back (1);
  v.push_back (20);
  v.push_back (4);
  make_heap (v.begin (), v.end (), greater<int> ());

  v.push_back (7);
  push_heap (v.begin (), v.end (), greater<int> ());

  sort_heap (v.begin (), v.end (), greater<int> ());
  ostream_iterator<int> iter (cout, " ");
  copy (v.begin (), v.end (), iter);
  cout << endl;

  return 0;
}