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