void puts(const char *s);