digraph cfg {
42229808[shape = box, label = "0x2846030\n"];
42229808 -> 42088896[label = "0"];
41874640[shape = box, label = "0x27ef4d0\n"];
41874640 -> 42229808[label = "0"];
42088896[shape = box, label = "EXIT"];
42071360[shape = box, label = "ENTER"];
42071360 -> 41874640[label = "0"];
}