diff -r 667721cf52c5 -r 5b170c9ce134 stage4/stage4.hh
--- a/stage4/stage4.hh	Tue May 15 09:52:38 2007 +0200
+++ b/stage4/stage4.hh	Wed May 16 17:53:37 2007 +0200
@@ -46,6 +46,8 @@
 
     void *print(const char *str);
     void *print(std::string str);
+    
+    void *print_integer(int integer);
 
     void *printupper(const char *str);
     void *printupper(std::string str);