ProcessChar       325 console.c      			ProcessChar((unsigned char) ConsoleMsg.quad);
ProcessChar       330 console.c      			while (*s != 0)	ProcessChar(*s++);