* This symbol, if defined, tells that fflush(NULL) does flush
* all pending stdio output.
*/
-#$fflushNULL FFLUSH_NULL /**/
+/* FFLUSH_ALL:
+ * This symbol, if defined, tells that to flush
+ * all pending stdio output one must loop through all
+ * the stdio file handles and fflush them.
+ */
+#$fflushNULL FFLUSH_NULL /**/
+#$fflushall FFLUSH_ALL /**/
/* DB_Prefix_t:
* This symbol contains the type of the prefix structure element
#$d_ftello64 HAS_FTELLO64 /**/
#$d_tmpfile64 HAS_TMPFILE64 /**/
+/* STDIO_STREAM_ARRAY:
+ * This symbol tells the name of the array holding the stdio stream_array,
+ * if any. Usual values include _iob, __iob, and __sF.
+ */
+#define STDIO_STREAM_ARRAY $stdio_stream_array
+
/* USE_64_BITS:
* This symbol, if defined, indicates that 64-bit interfaces should
* be used when available. If not defined, the native default interfaces