digraph cfg {
46280848[shape = box, label = "0x2c23090\n"];
46280848 -> 45652512[label = "0"];
45878816[shape = box, label = "0x2bc0e20\n"];
45878816 -> 46280848[label = "0"];
45652512[shape = box, label = "EXIT"];
46267312[shape = box, label = "ENTER"];
46267312 -> 45878816[label = "0"];
}