digraph cfg {
20034384[shape = box, label = "0x131b350\n"];
20034384 -> 21260128[label = "0"];
21332736[shape = box, label = "0x1458300\n"];
21332736 -> 20033936[label = "0"];
21332480[shape = box, label = "0x1458200\n"];
21332480 -> 21332736[label = "0"];
19767264[shape = box, label = "0x12d9fe0\n"];
19767264 -> 20001728[label = "0"];
20033936[shape = box, label = "0x131b190\n"];
20033936 -> 20034384[label = "0"];
20001728[shape = box, label = "0x13133c0\n"];
20001728 -> 21332480[label = "0"];
21260128[shape = box, label = "EXIT"];
19698720[shape = box, label = "0x12c9420\n"];
19698720 -> 19767264[label = "0"];
19761024[shape = box, label = "ENTER"];
19761024 -> 19698720[label = "0"];
}