digraph cfg {
45180112[shape = box, label = "0x2b164d0\n"];
45180112 -> 45376928[label = "0"];
45404752[shape = box, label = "0x2b4d250\n"];
45404752 -> 45180112[label = "0"];
45376928[shape = box, label = "EXIT"];
46354928[shape = box, label = "ENTER"];
46354928 -> 45404752[label = "0"];
}