#include <stdio.h> #include <stddef.h> extern int inside_main; extern size_t strlen(const char *); int fputs(const char *string, FILE *stream) { size_t n = strlen(string); size_t r; #if defined __OPTIMIZE__ && !defined __OPTIMIZE_SIZE__ if (inside_main) abort(); #endif r = fwrite (string, 1, n, stream); return n > r ? EOF : 0; }