exit(3) says that stdio streams are flushed and closed. But nothing tells about C++-specific ofstream objects.
Does the standard guarantee that ofstream objects are also flushed and closed properly, or do I have to somehow propagate exit condition to main() and do a return there to destroy all automatic ofstreams?