1*9b37d1bfSrsc #include "user.h" 2*9b37d1bfSrsc 3c41f1de5Srtm int 4c41f1de5Srtm puts(char *s) 5c41f1de5Srtm { 6*9b37d1bfSrsc return cons_puts(s); 7*9b37d1bfSrsc } 8*9b37d1bfSrsc 9*9b37d1bfSrsc int 10*9b37d1bfSrsc puts1(char *s) 11*9b37d1bfSrsc { 12c41f1de5Srtm int i; 13c41f1de5Srtm 14c41f1de5Srtm for(i = 0; s[i]; i++) 15c41f1de5Srtm cons_putc(s[i]); 16c41f1de5Srtm return i; 17c41f1de5Srtm } 18c41f1de5Srtm 19