digraph cfg {
48172080[shape = box, label = "0x2df0c30\n"];
48172080 -> 48180976[label = "0"];
49534576[shape = box, label = "0x2f3d670\n"];
49534576 -> 48172080[label = "0"];
48393456[shape = box, label = "ENTER"];
48393456 -> 49440704[label = "0"];
48180976[shape = box, label = "EXIT"];
48958544[shape = box, label = "0x2eb0c50\n"];
48958544 -> 48112416[label = "0"];
48958544 -> 49533296[label = "1"];
49440704[shape = box, label = "0x2f267c0\n"];
49440704 -> 48415440[label = "0"];
48415440[shape = box, label = "0x2e2c2d0\n"];
48415440 -> 48112640[label = "0"];
48112416[shape = box, label = "0x2de2320\n"];
48112416 -> 49534032[label = "0"];
48958096[shape = box, label = "0x2eb0a90\n"];
48958096 -> 48958544[label = "0"];
48112640[shape = box, label = "0x2de2400\n"];
48112640 -> 48957648[label = "0"];
48957648[shape = box, label = "0x2eb08d0\n"];
48957648 -> 48958096[label = "0"];
49534032[shape = box, label = "0x2f3d450\n"];
49534032 -> 49534576[label = "0"];
49533296[shape = box, label = "0x2f3d170\n"];
49533296 -> 48180976[label = "0"];
}