digraph cfg {
42807584[shape = box, label = "0x28d3120\n"];
42807584 -> 43225088[label = "0"];
42796512[shape = box, label = "0x28d05e0\n"];
42796512 -> 42807584[label = "0"];
43334752[shape = box, label = "0x2953c60\n"];
43334752 -> 42796512[label = "0"];
43225088[shape = box, label = "EXIT"];
43224672[shape = box, label = "ENTER"];
43224672 -> 43334752[label = "0"];
}