DEFUN_VOID(_IO_cleanup)
DEFUN_VOID(_IO_flush_all)
DEFUN_VOID(_IO_cleanup){  _IO_flush_all ();  /* We currently don't have a reliable mechanism for making sure that     C++ static destructors are executed in the correct order.     So it is possible that other static destructord might want to     write to cout - and they're supposed to be able to do so.     The following will make the standard streambufs be unbuffered,     which forces any output from late destructors to be written out. */  _IO_unbuffer_all ();}