digraph cfg {
45793808[shape = box, label = "0x2bac210\n"];
45793808 -> 45564768[label = "0"];
46736720[shape = box, label = "0x2c92550\n"];
46736720 -> 45793808[label = "0"];
45564768[shape = box, label = "EXIT"];
46470144[shape = box, label = "ENTER"];
46470144 -> 46736720[label = "0"];
}