1 2 3 4 5 6 7 8 9
#include <stdio.h> void puts_stdout (const char *); void puts_stdout (const char *s) { printf ("server: "); puts (s); }