digraph cfg {
27343392[shape = box, label = "0x1a13a20\n"];
27343392 -> 27544688[label = "0"];
27178528[shape = box, label = "0x19eb620\n"];
27178528 -> 27343392[label = "0"];
27544688[shape = box, label = "EXIT"];
27920816[shape = box, label = "ENTER"];
27920816 -> 27178528[label = "0"];
}