update PrintInt and change PutString to PutInt

code/machine/console.h

@@ -76,7 +76,7 @@ class ConsoleOutput : public CallBackObj {
     void PutChar(char ch);	// Write "ch" to the console display, 
 				// and return immediately.  "callWhenDone" 
 				// will called when the I/O completes. 
-    void PutString(char *str);
+    void PutInt(int n);
     void CallBack();		// Invoked when next character can be put
 				// out to the display.