19b37d1bfSrsc #include "user.h" 29b37d1bfSrsc 3c41f1de5Srtm int 4c41f1de5Srtm puts(char *s) 5c41f1de5Srtm { 69b37d1bfSrsc return cons_puts(s); 79b37d1bfSrsc } 89b37d1bfSrsc 99b37d1bfSrsc int 109b37d1bfSrsc puts1(char *s) 119b37d1bfSrsc { 12c41f1de5Srtm int i; 13c41f1de5Srtm 14c41f1de5Srtm for(i = 0; s[i]; i++) 15c41f1de5Srtm cons_putc(s[i]); 16c41f1de5Srtm return i; 17c41f1de5Srtm } 18c41f1de5Srtm 19*b75c11b2Srsc char* 20*b75c11b2Srsc strcpy(char *s, char *t) 21*b75c11b2Srsc { 22*b75c11b2Srsc char *os; 23*b75c11b2Srsc 24*b75c11b2Srsc os = s; 25*b75c11b2Srsc while((*s++ = *t++) != 0) 26*b75c11b2Srsc ; 27*b75c11b2Srsc return os; 28*b75c11b2Srsc } 29