Jason Thorpe <thorpej@nas.nasa.gov> writes:

> Changing the size of FILE is ... well, obviously unacceptable.

I figgured that would be the case.  And we can't simply version
things, since putc() and the like aren't functions, nor is "stdin"
"stdout" or "stderr."

What other options are there, other than a second hash table, or a
large _RENAME() frenzy?

I don't really like hashing pointers -- they're too regular -- but if
we need to, I suppose we can.

--Michael