digraph cfg {
42271856[shape = box, label = "0x2850470\n"];
42271856 -> 40818560[label = "0"];
41353488[shape = box, label = "0x2770110\n"];
41353488 -> 42271856[label = "0"];
41699360[shape = box, label = "0x27c4820\n"];
41699360 -> 41353488[label = "0"];
40818560[shape = box, label = "EXIT"];
41262784[shape = box, label = "ENTER"];
41262784 -> 41699360[label = "0"];
}