On Wed, Sep 19, 2001 at 01:36:11PM -0700, Richard Henderson wrote: > Also update the documentation such that "deprecated" is now > "illegal". Didn't we decide that "invalid" was preferred to "illegal"? zw