#include "user.h" int puts(char *s) { return cons_puts(s); } int puts1(char *s) { int i; for(i = 0; s[i]; i++) cons_putc(s[i]); return i; }