digraph cfg {
41096480[shape = box, label = "0x2731520\n"];
41096480 -> 42373104[label = "0"];
42342144[shape = box, label = "0x2861700\n"];
42342144 -> 41096480[label = "0"];
42373104[shape = box, label = "0x2868ff0\n"];
42373104 -> 41299312[label = "0"];
41440480[shape = box, label = "0x27854e0\n"];
41440480 -> 42370704[label = "0"];
42370704[shape = box, label = "0x2868690\n"];
42370704 -> 42342144[label = "0"];
41440192[shape = box, label = "0x27853c0\n"];
41440192 -> 41440480[label = "0"];
41299312[shape = box, label = "EXIT"];
41293152[shape = box, label = "ENTER"];
41293152 -> 41440192[label = "0"];
}