digraph cfg {
40835968[shape = box, label = "0x26f1b80\n"];
40835968 -> 40976976[label = "0"];
42271664[shape = box, label = "0x28503b0\n"];
42271664 -> 40835968[label = "0"];
41216704[shape = box, label = "0x274eac0\n"];
41216704 -> 42271664[label = "0"];
40976976[shape = box, label = "0x2714250\n"];
40976976 -> 40818656[label = "0"];
41699456[shape = box, label = "0x27c4880\n"];
41699456 -> 41216704[label = "0"];
40818656[shape = box, label = "EXIT"];
41262880[shape = box, label = "ENTER"];
41262880 -> 41699456[label = "0"];
}