- if (ch == EOF)
- return 1;
- if (ungetc (ch ^ 0xff, stdin) != (ch ^ 0xff))
- return 1;
- if (fseeko (stdin, (off_t) 0, SEEK_END))
- return 1;
- if (fgetc (stdin) != EOF)
- return 1;
+ ASSERT (ch == '#');
+ ASSERT (ungetc (ch, stdin) == ch);
+ ASSERT (fseeko (stdin, 2, SEEK_SET) == 0);
+ /* Test that fseek discards random ungetc data. */
+ ch = fgetc (stdin);
+ ASSERT (ch == '/');
+ ASSERT (ungetc (ch ^ 0xff, stdin) == (ch ^ 0xff));
+ ASSERT (fseeko (stdin, 0, SEEK_END) == 0);
+ ASSERT (fgetc (stdin) == EOF);