digraph cfg {
24422256[shape = box, label = "0x174a770\n"];
24422256 -> 24562240[label = "0"];
24442672[shape = box, label = "0x174f730\n"];
24442672 -> 24422256[label = "0"];
24562240[shape = box, label = "EXIT"];
24827744[shape = box, label = "ENTER"];
24827744 -> 24442672[label = "0"];
}