digraph cfg {
22556128[shape = box, label = "0x1582de0\n"];
22556128 -> 22414528[label = "0"];
25913216[shape = box, label = "0x18b6780\n"];
25913216 -> 23166544[label = "0"];
23166544[shape = box, label = "0x1617e50\n"];
23166544 -> 22556128[label = "0"];
22420656[shape = box, label = "0x1561cb0\n"];
22420656 -> 25913216[label = "0"];
22414528[shape = box, label = "EXIT"];
22414992[shape = box, label = "ENTER"];
22414992 -> 22420656[label = "0"];
}