#include #include /* Write a string to stdout */ int puts(const char *str) { char end[] = "\n"; int len = strlen(str); len = write(STDOUT_FILENO, (void *) str, len); return len + write(STDOUT_FILENO, end, 1); } /* Write a character to stdout */ int putchar(int c) { char str[] = {(char) c, 0}; write(STDOUT_FILENO, str, 1); return c; }