1#include <stdio.h> 2#include <stddef.h> 3extern void abort (void); 4extern int inside_main; 5extern size_t strlen(const char *); 6int 7fputs(const char *string, FILE *stream) 8{ 9 size_t n = strlen(string); 10 size_t r; 11#if defined __OPTIMIZE__ && !defined __OPTIMIZE_SIZE__ 12 if (inside_main) 13 abort(); 14#endif 15 r = fwrite (string, 1, n, stream); 16 return n > r ? EOF : 0; 17} 18 19/* Locking stdio doesn't matter for the purposes of this test. */ 20int 21fputs_unlocked(const char *string, FILE *stream) 22{ 23 return fputs (string, stream); 24} 25