digraph cfg {
45699408[shape = box, label = "0x2b95150\n"];
45699408 -> 45934960[label = "0"];
44491904[shape = box, label = "0x2a6e480\n"];
44491904 -> 45699408[label = "0"];
45733136[shape = box, label = "0x2b9d510\n"];
45733136 -> 44491904[label = "0"];
45934960[shape = box, label = "EXIT"];
44451056[shape = box, label = "ENTER"];
44451056 -> 45733136[label = "0"];
}