context_stack      39 src/StmtToHtml.cpp     std::vector<int> context_stack;
context_stack      44 src/StmtToHtml.cpp             s << context_stack.back() << "-";
context_stack      50 src/StmtToHtml.cpp         context_stack.push_back(unique_id());
context_stack      61 src/StmtToHtml.cpp         context_stack.pop_back();