>> Is it OK to commit my changes to LangRef.html and then raise bugs >> against -verify if it doesn't do what I said? :-) > > Please do. I beefed up the verifier, but maybe I missed something. Looks pretty bomb-proof to me. Thanks for fixing it! Thanks, Jay.