digraph cfg {
22402272[shape = box, label = "0x155d4e0\n"];
22402272 -> 23343616[label = "0"];
22607136[shape = box, label = "0x158f520\n"];
22607136 -> 22402272[label = "0"];
23343616[shape = box, label = "EXIT"];
22542528[shape = box, label = "ENTER"];
22542528 -> 22607136[label = "0"];
}