int puts(const char* __s);