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