tags 66663 patch
quit


Here's the patch.  Juri, could you take a look to see if this approach
is fine? Thank you.