digraph cfg {
27241824[shape = box, label = "0x19fad60\n"];
27241824 -> 27875472[label = "0"];
27235680[shape = box, label = "0x19f9560\n"];
27235680 -> 27241824[label = "0"];
27875472[shape = box, label = "EXIT"];
27236240[shape = box, label = "ENTER"];
27236240 -> 27235680[label = "0"];
}