--- IosVector.cpp.orig	2004-10-09 08:41:12.000000000 +1000
+++ IosVector.cpp	2014-02-21 16:31:24.000000000 +1100
@@ -102,6 +102,6 @@
 void IosVector::dumpVector() const {
 	fprintf(stderr, "Size: %d\n", getSize());
 	for (int i = 0, j = getSize() ; i < j ; i++)
-		fprintf(stderr, "elt[%d]=%d ", i, (int)getElementAt(i));
+		fprintf(stderr, "elt[%d]=%p ", i, getElementAt(i));
 	fprintf(stderr, "\n");
 }