digraph cfg {
45808464[shape = box, label = "0x2bafb50\n"];
45808464 -> 47170352[label = "0"];
47170352[shape = box, label = "EXIT"];
45958096[shape = box, label = "0x2bd43d0\n"];
45958096 -> 45808464[label = "0"];
45802336[shape = box, label = "ENTER"];
45802336 -> 45958096[label = "0"];
}