digraph cfg {
19976944[shape = box, label = "0x130d2f0\n"];
19976944 -> 18304752[label = "0"];
19976496[shape = box, label = "0x130d130\n"];
19976496 -> 19976944[label = "0"];
19997664[shape = box, label = "0x13123e0\n"];
19997664 -> 19976048[label = "0"];
18445760[shape = box, label = "0x11975c0\n"];
18445760 -> 19997664[label = "0"];
18236192[shape = box, label = "0x1164320\n"];
18236192 -> 18445760[label = "0"];
19976048[shape = box, label = "0x130cf70\n"];
19976048 -> 19976496[label = "0"];
18304752[shape = box, label = "EXIT"];
18298656[shape = box, label = "ENTER"];
18298656 -> 18236192[label = "0"];
}