>>>>> "Alexandre" == Alexandre Oliva <oliva@dcc.unicamp.br> writes: Alexandre> Here's the patch. I hope you don't need a copyright Alexandre> assignment for this kind of stuff. I'm not sure whether we do or not, but I suspect that we do. I'm going to defer this until Anthony can see it and tell me the answer. Tom