diff -r 667721cf52c5 -r 5b170c9ce134 stage4/stage4.cc
--- a/stage4/stage4.cc	Tue May 15 09:52:38 2007 +0200
+++ b/stage4/stage4.cc	Wed May 16 17:53:37 2007 +0200
@@ -90,6 +90,10 @@
   return NULL;
 }
 
+void *stage4out_c::print_integer(int integer) {
+  *out << integer;
+  return NULL;
+}
 
 void *stage4out_c::printupper(const char *str) {
   for (int i = 0; str[i] != '\0'; i++)