void process(char const * filename)
{
std::ifstream file(filename);
std::string line;
while (getline(file, line) and line != "@footnote:")
;
std::tr1::unordered_map<int, int> dict;
int counter = 1;
while (getline(file, line)) {
int number = -1;
if (re_ref.PartialMatch(line, &number))
dict[number] = counter++;
}