digraph cfg {
20218272[shape = box, label = "0x13481a0\n"];
20218272 -> 21097344[label = "0"];
20217952[shape = box, label = "0x1348060\n"];
20217952 -> 20218272[label = "0"];
20392480[shape = box, label = "0x1372a20\n"];
20392480 -> 20217952[label = "0"];
20292640[shape = box, label = "0x135a420\n"];
20292640 -> 20392480[label = "0"];
20312944[shape = box, label = "EXIT"];
21097344[shape = box, label = "0x141eb80\n"];
21097344 -> 20312944[label = "0"];
20287216[shape = box, label = "ENTER"];
20287216 -> 20292640[label = "0"];
}