// "cfa -c -o test.o test.c"
// "cfa -CFA test.c > test_out.c"
// "gcc31 -c test_out.c -o test.o"

#include "fstream.h"
#include "vector_int.h"

int
main()
{
  ofstream *sout = ofstream_stdout();
  vector_int vec = vector_int_allocate();
  int index;
  switch(1) {
  case 1:
    sout << vec[ index ];
  }
  sout << "\n";
  return 0;
}