digraph cfg {
22386848[shape = box, label = "0x15598a0\n"];
22386848 -> 20838176[label = "0"];
22398736[shape = box, label = "0x155c710\n"];
22398736 -> 22386848[label = "0"];
20838176[shape = box, label = "EXIT"];
21236416[shape = box, label = "ENTER"];
21236416 -> 22398736[label = "0"];
}