digraph cfg {
55055984[shape = box, label = "0x3481670\n"];
55055984 -> 49921152[label = "0"];
49915072[shape = box, label = "EXIT"];
49921152[shape = box, label = "0x2f9bc80\n"];
49921152 -> 49915072[label = "0"];
49915520[shape = box, label = "ENTER"];
49915520 -> 55055984[label = "0"];
}