#include #include int fputs(char const * restrict s, FILE * restrict fp) { size_t len = strlen(s); size_t written = fwrite(s, 1, len, fp); return (written < len) ? EOF : 0; }