And I already submitted a patch to fix the buggy debugger. But that's not a real fix that fixes the future. --tom