#include <stdio.h>
extern void abort(void);
int i;
void
main_test(void)
{
FILE *s_array[] = {stdout, NULL}, **s_ptr = s_array;
const char *const s1 = "hello world";
fputs ("", *s_ptr);
fputs ("\n", *s_ptr);
fputs ("bye", *s_ptr);
fputs (s1, *s_ptr);
fputs (s1+5, *s_ptr);
fputs (s1+10, *s_ptr);
fputs (s1+11, *s_ptr);
fputs ("", *s_ptr++);
if (s_ptr != s_array+1 || *s_ptr != 0)
abort();
s_ptr = s_array;
fputs ("\n", *s_ptr++);
if (s_ptr != s_array+1 || *s_ptr != 0)
abort();
s_ptr = s_array;
fputs ("hello\n", *s_ptr++);
if (s_ptr != s_array+1 || *s_ptr != 0)
abort();
s_ptr = s_array;
__builtin_fputs ("", *s_ptr);
__builtin_fputc ('\n', *s_ptr);
__builtin_fwrite ("hello\n", 1, 6, *s_ptr);
s_ptr = s_array;
fputs (i++ ? "f" : "x", *s_ptr++);
if (s_ptr != s_array+1 || *s_ptr != 0 || i != 1)
abort();
fputs (--i ? "\n" : "\n", *--s_ptr);
if (s_ptr != s_array || i != 0)
abort();
}