digraph cfg {
52872896[shape = box, label = "0x326c6c0\n"];
52872896 -> 47673728[label = "0"];
50787440[shape = box, label = "0x306f470\n"];
50787440 -> 51824032[label = "0"];
47673728[shape = box, label = "EXIT"];
51824032[shape = box, label = "0x316c5a0\n"];
51824032 -> 52872896[label = "0"];
47735904[shape = box, label = "ENTER"];
47735904 -> 50787440[label = "0"];
}