digraph cfg {
27516992[shape = box, label = "0x1a3e040\n"];
27516992 -> 27376080[label = "0"];
27170000[shape = box, label = "0x19e94d0\n"];
27170000 -> 27516992[label = "0"];
27376080[shape = box, label = "EXIT"];
27737968[shape = box, label = "ENTER"];
27737968 -> 27170000[label = "0"];
}