Some control flow graph structure.