digraph cfg {
23166544[shape = box, label = "0x1617e50\n"];
23166544 -> 22414528[label = "0"];
22414528[shape = box, label = "EXIT"];
22420624[shape = box, label = "0x1561c90\n"];
22420624 -> 23166544[label = "0"];
22556320[shape = box, label = "0x1582ea0\n"];
22556320 -> 22420624[label = "0"];
22414992[shape = box, label = "ENTER"];
22414992 -> 22556320[label = "0"];
}