> Here is the source. I think that the only change from last time is the use > of printf (as an ffi) to see what was going on. I'm confused. This source only creates one .cfg.dot file. You said that the same label occurs in multiple .cfg.dot files. Notice that there are other .dot files that are not .cfg.dot files: .dom.dot and .call-graph.dot.