digraph cfg {
33978864[shape = box, label = "0x20679f0\n"];
33978864 -> 39371520[label = "0"];
39394624[shape = box, label = "0x2591d40\n"];
39394624 -> 33978864[label = "0"];
39371520[shape = box, label = "EXIT"];
33684912[shape = box, label = "0x201fdb0\n"];
33684912 -> 39394624[label = "0"];
33678576[shape = box, label = "ENTER"];
33678576 -> 33684912[label = "0"];
}