--- a/dbutil.c	Wed Oct 16 22:55:03 2013 +0800
+++ b/dbutil.c	Fri Nov 01 00:19:25 2013 +0800
@@ -675,6 +675,14 @@
 	}
 	fprintf(stderr, "\n");
 }
+
+void printmpint(const char *label, mp_int *mp) {
+	buffer *buf = buf_new(1000);
+	buf_putmpint(buf, mp);
+	printhex(label, buf->data, buf->len);
+	buf_free(buf);
+
+}
 #endif
 
 /* Strip all control characters from text (a null-terminated string), except