digraph cfg {
38694368[shape = box, label = "0x24e6de0\n"];
38694368 -> 38694624[label = "0"];
38694624[shape = box, label = "0x24e6ee0\n"];
38694624 -> 37942272[label = "0"];
37948384[shape = box, label = "0x2430be0\n"];
37948384 -> 38694368[label = "0"];
37846528[shape = box, label = "0x2417e00\n"];
37846528 -> 37948384[label = "0"];
37942272[shape = box, label = "EXIT"];
37942816[shape = box, label = "ENTER"];
37942816 -> 37846528[label = "0"];
}