digraph cfg {
41096608[shape = box, label = "0x27315a0\n"];
41096608 -> 42370512[label = "0"];
42342240[shape = box, label = "0x2861760\n"];
42342240 -> 41096608[label = "0"];
41440480[shape = box, label = "0x27854e0\n"];
41440480 -> 42342240[label = "0"];
41440192[shape = box, label = "0x27853c0\n"];
41440192 -> 41440480[label = "0"];
42370512[shape = box, label = "EXIT"];
41293152[shape = box, label = "ENTER"];
41293152 -> 41440192[label = "0"];
}