digraph cfg {
20838464[shape = box, label = "0x13df840\n"];
20838464 -> 22386848[label = "0"];
20978160[shape = box, label = "0x14019f0\n"];
20978160 -> 20978416[label = "0"];
20978416[shape = box, label = "0x1401af0\n"];
20978416 -> 20838464[label = "0"];
22398736[shape = box, label = "0x155c710\n"];
22398736 -> 20978160[label = "0"];
22386848[shape = box, label = "EXIT"];
21236416[shape = box, label = "ENTER"];
21236416 -> 22398736[label = "0"];
}