digraph cfg {
54659184[shape = box, label = "0x3420870\n"];
54659184 -> 49915072[label = "0"];
54778816[shape = box, label = "0x343dbc0\n"];
54778816 -> 49921152[label = "0"];
50056752[shape = box, label = "0x2fbce30\n"];
50056752 -> 54659184[label = "0"];
49915072[shape = box, label = "EXIT"];
49921152[shape = box, label = "0x2f9bc80\n"];
49921152 -> 50056752[label = "0"];
49915520[shape = box, label = "ENTER"];
49915520 -> 54778816[label = "0"];
}