digraph cfg {
36007552[shape = box, label = "0x2256e80\n"];
36007552 -> 40478480[label = "0"];
36006304[shape = box, label = "0x22569a0\n"];
36006304 -> 40436928[label = "0"];
39427184[shape = box, label = "0x2599c70\n"];
39427184 -> 36006304[label = "0"];
39426384[shape = box, label = "0x2599950\n"];
39426384 -> 39426736[label = "0"];
36007200[shape = box, label = "0x2256d20\n"];
36007200 -> 36007552[label = "0"];
39425920[shape = box, label = "0x2599780\n"];
39425920 -> 40436928[label = "0"];
39425920 -> 39426384[label = "1"];
40437184[shape = box, label = "0x26905c0\n"];
40437184 -> 40437728[label = "0"];
40460496[shape = box, label = "0x26960d0\n"];
40460496 -> 40460848[label = "0"];
36160064[shape = box, label = "0x227c240\n"];
36160064 -> 36024368[label = "0"];
39070672[shape = box, label = "ENTER"];
39070672 -> 36160064[label = "0"];
36024368[shape = box, label = "0x225b030\n"];
36024368 -> 36770384[label = "0"];
36770384[shape = box, label = "0x2311250\n"];
36770384 -> 40460496[label = "0"];
40437728[shape = box, label = "0x26907e0\n"];
40437728 -> 39425920[label = "0"];
40460176[shape = box, label = "0x2695f90\n"];
40460176 -> 38295872[label = "0"];
39426736[shape = box, label = "0x2599ab0\n"];
39426736 -> 39427184[label = "0"];
38295872[shape = box, label = "EXIT"];
40478480[shape = box, label = "0x269a710\n"];
40478480 -> 40460176[label = "0"];
40478480 -> 40437184[label = "1"];
40460848[shape = box, label = "0x2696230\n"];
40460848 -> 40478480[label = "0"];
40436928[shape = box, label = "0x26904c0\n"];
40436928 -> 36007200[label = "0"];
}