digraph cfg {
55508800[shape = box, label = "0x34eff40\n"];
55508800 -> 55344832[label = "0"];
57511104[shape = box, label = "0x36d8cc0\n"];
57511104 -> 55508800[label = "0"];
54587248[shape = box, label = "0x340ef70\n"];
54587248 -> 57511104[label = "0"];
58157824[shape = box, label = "0x3776b00\n"];
58157824 -> 54587248[label = "0"];
51192832[shape = box, label = "0x30d2400\n"];
51192832 -> 58157824[label = "0"];
55344832[shape = box, label = "EXIT"];
58439168[shape = box, label = "ENTER"];
58439168 -> 51192832[label = "0"];
}