> You have to prove that the code is dead. E.g. , you might find a set of > necessary preconditions for the code to be executed, and then a reason There are a number of cxref-like substances that can help with this exercise. Of course, all of them can be fooled so they still need a skilled person operating them. RJL