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