digraph cfg {
34476912[shape = box, label = "0x20e1370\n"];
34476912 -> 33686592[label = "0"];
34476688[shape = box, label = "0x20e1290\n"];
34476688 -> 34476912[label = "0"];
33670080[shape = box, label = "0x201c3c0\n"];
33670080 -> 34476688[label = "0"];
33686592[shape = box, label = "EXIT"];
34538352[shape = box, label = "ENTER"];
34538352 -> 33670080[label = "0"];
}