nuclear@1: #include <stdio.h>
nuclear@1: 
nuclear@1: /* putchar is defined in term.c */
nuclear@1: 
nuclear@1: int puts(const char *s)
nuclear@1: {
nuclear@1: 	while(*s) {
nuclear@1: 		putchar(*s++);
nuclear@1: 	}
nuclear@1: 	return 0;
nuclear@1: }