digraph cfg {
45877088[shape = box, label = "0x2bc0760\n"];
45877088 -> 51180768[label = "0"];
48496672[shape = box, label = "0x2e40020\n"];
48496672 -> 45877088[label = "0"];
51180768[shape = box, label = "EXIT"];
45800368[shape = box, label = "ENTER"];
45800368 -> 48496672[label = "0"];
}