digraph cfg {
40307536[shape = box, label = "0x2670b50\n"];
40307536 -> 40302064[label = "0"];
40239200[shape = box, label = "0x2660060\n"];
40239200 -> 40307536[label = "0"];
41074480[shape = box, label = "0x272bf30\n"];
41074480 -> 40239200[label = "0"];
40301408[shape = box, label = "0x266f360\n"];
40301408 -> 41074480[label = "0"];
40302064[shape = box, label = "EXIT"];
41543488[shape = box, label = "ENTER"];
41543488 -> 40301408[label = "0"];
}