digraph cfg {
38803696[shape = box, label = "0x25018f0\n"];
38803696 -> 38159824[label = "0"];
38740512[shape = box, label = "0x24f2220\n"];
38740512 -> 38803696[label = "0"];
38147312[shape = box, label = "0x24614f0\n"];
38147312 -> 40386096[label = "0"];
38159824[shape = box, label = "0x24645d0\n"];
38159824 -> 38154368[label = "0"];
38154368[shape = box, label = "EXIT"];
40386096[shape = box, label = "0x2683e30\n"];
40386096 -> 38740512[label = "0"];
38161632[shape = box, label = "ENTER"];
38161632 -> 38147312[label = "0"];
}