digraph cfg {
42057984[shape = box, label = "0x281c100\n"];
42057984 -> 42046912[label = "0"];
42154480[shape = box, label = "0x28339f0\n"];
42154480 -> 42057984[label = "0"];
42046912[shape = box, label = "EXIT"];
42052192[shape = box, label = "ENTER"];
42052192 -> 42154480[label = "0"];
}