Freeing xalloc'ed array

[Paolo Carlini]

Akim Demaille wrote:

>For my information, what's the rationale for them not to be destroyed?
>And why do these reasons imply that the xalloc'd memory for std
>streams is not to be reclaimed?
>  
>
Well, when it comes to rationale replies become more vague... ;) Perhaps 
I can
tell you something more later, but for now, there is 27.3/2, that reads, 
literally:

    "... The objects are /not/ destroyed during program execution."

Paolo.