digraph cfg {
41172992[shape = box, label = "0x2744000\n"];
41172992 -> 41221168[label = "0"];
41201024[shape = box, label = "0x274ad80\n"];
41201024 -> 41172992[label = "0"];
41221168[shape = box, label = "EXIT"];
41195472[shape = box, label = "ENTER"];
41195472 -> 41201024[label = "0"];
}