--- 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);