Index: driver/demangler.cc
===================================================================
--- driver/demangler.cc	(revision 66d92e3cc3e75781be55e344dbdf9ca4e58f9872)
+++ driver/demangler.cc	(revision 66d92e3cc3e75781be55e344dbdf9ca4e58f9872)
@@ -0,0 +1,25 @@
+#include "Demangle.h"
+#include <iostream>
+#include <fstream>
+
+void demangleAndPrint(const std::string & mangleName) {
+	char * demangleName = cforall_demangle(mangleName.c_str(), 0);
+	std::cout << mangleName << " => " << demangleName << std::endl;
+	free(demangleName);
+}
+
+int main(int argc, char * argv[]) {
+	char const * fileName = (1 < argc) ? argv[1] : "in-demangle.txt";
+	std::ifstream in(fileName);
+
+	std::string line;
+	while (std::getline(in, line)) {
+		if (line.empty()) {
+			std::cout << "=================================" << std::endl;
+		} else if (line[0] == '#') {
+			continue;
+		} else {
+			demangleAndPrint(line);
+		}
+	}
+}