digraph cfg {
39711248[shape = box, label = "0x25df210\n"];
39711248 -> 42521712[label = "0"];
39865200[shape = box, label = "0x2604b70\n"];
39865200 -> 39711248[label = "0"];
39864976[shape = box, label = "0x2604a90\n"];
39864976 -> 39865200[label = "0"];
42521712[shape = box, label = "EXIT"];
39470320[shape = box, label = "ENTER"];
39470320 -> 39864976[label = "0"];
}