digraph cfg {
42796672[shape = box, label = "0x28d0680\n"];
42796672 -> 43225088[label = "0"];
43334656[shape = box, label = "0x2953c00\n"];
43334656 -> 42796672[label = "0"];
43225088[shape = box, label = "EXIT"];
42802112[shape = box, label = "ENTER"];
42802112 -> 43334656[label = "0"];
}