digraph cfg {
19997664[shape = box, label = "0x13123e0\n"];
19997664 -> 18304752[label = "0"];
18236192[shape = box, label = "0x1164320\n"];
18236192 -> 19997664[label = "0"];
18304752[shape = box, label = "EXIT"];
18298656[shape = box, label = "ENTER"];
18298656 -> 18236192[label = "0"];
}