void print_int_vector(const VectorBase& vec, FILE* fp) { for(System::const_iterator it = vec.begin(); it != vec.end(); ++it) { fprintf(fp, "%d ", (int)*it); } fprintf(fp, "\n"); }