digraph cfg {
26524720[shape = box, label = "0x194bc30\n"];
26524720 -> 23554736[label = "0"];
25551456[shape = box, label = "0x185e260\n"];
25551456 -> 26524720[label = "0"];
23554736[shape = box, label = "EXIT"];
23614304[shape = box, label = "ENTER"];
23614304 -> 25551456[label = "0"];
}
