digraph cfg {
54778784[shape = box, label = "0x343dba0\n"];
54778784 -> 49915072[label = "0"];
54659376[shape = box, label = "0x3420930\n"];
54659376 -> 54778784[label = "0"];
49915072[shape = box, label = "EXIT"];
49915520[shape = box, label = "ENTER"];
49915520 -> 54659376[label = "0"];
}