digraph cfg {
20380432[shape = box, label = "0x136fb10\n"];
20380432 -> 20071872[label = "0"];
20172144[shape = box, label = "0x133cd70\n"];
20172144 -> 20380432[label = "0"];
20036912[shape = box, label = "0x131bd30\n"];
20036912 -> 20172144[label = "0"];
20071872[shape = box, label = "EXIT"];
20064112[shape = box, label = "0x1322770\n"];
20064112 -> 20036912[label = "0"];
20076784[shape = box, label = "ENTER"];
20076784 -> 20064112[label = "0"];
}