Announcement

vector<string> ReadFileStrings(string filename) {
    string data = ReadFile(filename);
    vector<string> ret;
    vector<int> n_pos;
    int next_pos=0;
    n_pos.push_back(-1);
    for (unsigned int i=0; i<data.size(); i++) {
        if (data[i]=='\n') n_pos.push_back(i);
    }
    for (unsigned int i=0; i<n_pos.size()-1; i++) {
        if (i!=n_pos.size()-2) next_pos = n_pos[i+1]-n_pos[i]-1;
        else next_pos = data.size()-n_pos[i]-2;
        //printf("n_pos[i]=%d\n", n_pos[i]);
        ret.push_back(data.substr(n_pos[i]+1, next_pos));
    }
    return ret;
}