>>>>> "Doug" == Doug Evans <dje@google.com> writes: Doug> [We can certainly pull the patch or default stack-cache to off if Doug> you like.] I don't know if that is warranted. I think it probably depends on the consequences of this code, and I haven't looked into that. Tom