>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> I'll write a patch today. I just checked in the patch. I wrote a small program to test it and it seems ok. Nic, care to update and give it a try? Tom