digraph cfg {
47368080[shape = box, label = "0x2d2c790\n"];
47368080 -> 43875520[label = "0"];
43875520[shape = box, label = "0x29d7cc0\n"];
43875520 -> 47968320[label = "0"];
48986560[shape = box, label = "0x2eb79c0\n"];
48986560 -> 47368080[label = "0"];
44011216[shape = box, label = "0x29f8ed0\n"];
44011216 -> 44621504[label = "0"];
44621504[shape = box, label = "0x2a8dec0\n"];
44621504 -> 48986560[label = "0"];
47968320[shape = box, label = "EXIT"];
43869280[shape = box, label = "ENTER"];
43869280 -> 44011216[label = "0"];
}