>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> Here's the updated version. Tom> Thanks again for noticing this -- the patch is simpler now. Tom> Regtested on x86-64 Fedora 16. I'm checking this in now. Tom