digraph cfg {
38108656[shape = box, label = "0x2457df0\n"];
38108656 -> 35815296[label = "0"];
35821040[shape = box, label = "0x22295f0\n"];
35821040 -> 38108656[label = "0"];
35820752[shape = box, label = "0x22294d0\n"];
35820752 -> 35821040[label = "0"];
35815296[shape = box, label = "EXIT"];
36453920[shape = box, label = "ENTER"];
36453920 -> 35820752[label = "0"];
}