#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";
}