digraph cfg {
37913440[shape = box, label = "0x2428360\n"];
37913440 -> 38009744[label = "0"];
37913440 -> 37974640[label = "1"];
38009520[shape = box, label = "0x243fab0\n"];
38009520 -> 37989744[label = "0"];
38009520 -> 37913440[label = "1"];
37989744[shape = box, label = "0x243ad70\n"];
37989744 -> 38602912[label = "0"];
38009744[shape = box, label = "0x243fb90\n"];
38009744 -> 38747984[label = "0"];
38231504[shape = box, label = "0x2475dd0\n"];
38231504 -> 38009520[label = "0"];
38602912[shape = box, label = "EXIT"];
38747984[shape = box, label = "0x24f3f50\n"];
38747984 -> 37989744[label = "0"];
37974640[shape = box, label = "0x2437270\n"];
37974640 -> 38009744[label = "0"];
37975520[shape = box, label = "ENTER"];
37975520 -> 38231504[label = "0"];
}