7 pool pool = global_pool;
8 vector v = new_vector (pool, int);
11 for (i = 1; i <= 10; ++i)
12 vector_push_back (v, i);
14 for (i = 0; i < vector_size (v); ++i)
18 vector_get (v, i, elem);
22 printf ("product of integers: %s = %d\n",
23 pjoin (pool, pvitostr (pool, v), " * "),