digraph cfg {
46788432[shape = box, label = "0x2c9ef50\n"];
46788432 -> 47230800[label = "0"];
46629136[shape = box, label = "0x2c78110\n"];
46629136 -> 46788432[label = "0"];
47230800[shape = box, label = "EXIT"];
46541760[shape = box, label = "ENTER"];
46541760 -> 46629136[label = "0"];
}