digraph cfg {
31819808[shape = box, label = "0x1e58820\n"];
31819808 -> 31819392[label = "0"];
31454544[shape = box, label = "0x1dff550\n"];
31454544 -> 31819808[label = "0"];
31819392[shape = box, label = "EXIT"];
31818560[shape = box, label = "ENTER"];
31818560 -> 31454544[label = "0"];
}