digraph cfg {
20167760[shape = box, label = "0x133bc50\n"];
20167760 -> 25107264[label = "0"];
25474352[shape = box, label = "0x184b530\n"];
25474352 -> 20167760[label = "0"];
25107264[shape = box, label = "0x17f1b40\n"];
25107264 -> 19629296[label = "0"];
25422832[shape = box, label = "0x183ebf0\n"];
25422832 -> 25474352[label = "0"];
25019616[shape = box, label = "0x17dc4e0\n"];
25019616 -> 25422832[label = "0"];
25043440[shape = box, label = "0x17e21f0\n"];
25043440 -> 25019616[label = "0"];
19629296[shape = box, label = "EXIT"];
19629760[shape = box, label = "ENTER"];
19629760 -> 25043440[label = "0"];
}