51 void puts(const char *);
71 	puts("pause\n");  in pause()
76 	puts("exit\n");  in exit()
148 void puts(const char *s)  in puts()  function
192 	puts("\n\n");  in error()
193 	puts(x);  in error()
194 	puts("\n\n -- System halted");  in error()
207 		puts("oops... out of memory\n");  in zalloc()
234 		puts("bad gzipped data\n");  in gunzip()
248 		puts("gunzip: ran out of data in header\n");  in gunzip()
256 		puts("inflateInit2 returned "); puthex(r); puts("\n");  in gunzip()
265 		puts("inflate returned "); puthex(r); puts("\n");  in gunzip()
284 	puts(buf);  in puthex()