digraph cfg {
33959856[shape = box, label = "0x2062fb0\n"];
33959856 -> 34261536[label = "0"];
33645568[shape = box, label = "0x2016400\n"];
33645568 -> 33959856[label = "0"];
34261536[shape = box, label = "EXIT"];
33827360[shape = box, label = "ENTER"];
33827360 -> 33645568[label = "0"];
}