Re: Making argv a constant

[Lennart Augustsson]

> There's a difference between the handle and its contents.
> stdin etc. really are constant, it is just their contents (the
> stuff you get if you read from that handle) that may vary.
Exactly what I was going to write.

        -- Lennart