digraph cfg {
54657792[shape = box, label = "0x3420300\n"];
54657792 -> 49915072[label = "0"];
54778816[shape = box, label = "0x343dbc0\n"];
54778816 -> 54657792[label = "0"];
49915072[shape = box, label = "EXIT"];
49915520[shape = box, label = "ENTER"];
49915520 -> 54778816[label = "0"];
}