digraph cfg {
20793904[shape = box, label = "0x13d4a30\n"];
20793904 -> 20792816[label = "0"];
20568864[shape = box, label = "0x139db20\n"];
20568864 -> 20793904[label = "0"];
20634544[shape = box, label = "0x13adbb0\n"];
20634544 -> 20792816[label = "0"];
20634544 -> 20568864[label = "1"];
21995312[shape = box, label = "0x14f9f30\n"];
21995312 -> 20634544[label = "0"];
20792816[shape = box, label = "0x13d45f0\n"];
20792816 -> 21165072[label = "0"];
22146576[shape = box, label = "0x151ee10\n"];
22146576 -> 21995312[label = "0"];
21165072[shape = box, label = "EXIT"];
20628416[shape = box, label = "ENTER"];
20628416 -> 22146576[label = "0"];
}