death

[Stephen Weeks]

> I couldn't just get the file size because that doesn't work with pipes.
> In the case Rico cares about the inputs tend to come from the output of a
> zcat via a pipe.  Besides, I don't like programs that only work from normal
> disk files.

Fair enough.

> I didn't call FlushGC() before, although no invariant failure was detected.

Ahh, it's probably OK here because the frontier and stack top don't
change after the last array allocation.