text: #include <stdio.h>
  #include <stl/vector>
  
  using namespace stl;
  
  int main ()
  {
    vector<int> v;
  
    printf ("Results of vec01_test:\n");
    printf ("empty = %d\n",v.empty ());
    printf ("size = %lu\n",v.size ());
    printf ("max_size correct: %d\n", v.max_size () == vector<int>::size_type (-1) / sizeof (vector<int>::allocator_type::value_type));
  
    v.push_back (42);
  
    printf ("size = %lu\n",v.size ());
    printf ("v1[0] = %d\n",v [0]);
  
    return 0;
  }
  