#include <iostream.h>

#include <time.h>

#ifndef VSIZE

#define VSIZE 10000

#endif

const int N = 10000;

#include "Vector-boost.h"

int main(int argc, char **argv) 
{
  Vector< int > A(1), B(2), C(3);
  clock_t t = clock();
  for (int i = 0;(i < N);(i ++))
    {
      {
        Vector< int > a_0 = A;
        {
          Vector< int > b_0 = C;
          {
            Vector< int > g_0 = B;
            (g_0 /= C);
            (b_0 += g_0);
            (a_0 *= b_0);
          }
          (A += a_0);
        }
        (A += 2);
        (a_0 = B);
        (a_0 *= C);
        (A -= a_0);
        (A -= C);
      }
    }
  (t = (clock() - t));
  ((cout << (((double) t) / CLOCKS_PER_SEC)) << "\n");
}