>> First, -findirect-dispatch actually already requires this, and >> second, that way we don't have to document it (and then keep it >> around for years even after it is useless). Andrew> Why not nuke the old verifier? Just fear of breakage, I think. Tom