digraph cfg {
47145312[shape = box, label = "0x2cf6160\n"];
47145312 -> 46910944[label = "0"];
46910944[shape = box, label = "0x2cbcde0\n"];
46910944 -> 46806256[label = "0"];
46832800[shape = box, label = "0x2ca9ca0\n"];
46832800 -> 46833056[label = "0"];
47144480[shape = box, label = "0x2cf5e20\n"];
47144480 -> 48051152[label = "0"];
46806256[shape = box, label = "EXIT"];
46833056[shape = box, label = "0x2ca9da0\n"];
46833056 -> 47145312[label = "0"];
48051152[shape = box, label = "0x2dd33d0\n"];
48051152 -> 46832800[label = "0"];
47036512[shape = box, label = "ENTER"];
47036512 -> 47144480[label = "0"];
}