digraph cfg {
38096880[shape = box, label = "0x2454ff0\n"];
38096880 -> 34800640[label = "0"];
35558064[shape = box, label = "0x21e92b0\n"];
35558064 -> 38096880[label = "0"];
35439440[shape = box, label = "0x21cc350\n"];
35439440 -> 34947680[label = "0"];
38095888[shape = box, label = "0x2454c10\n"];
38095888 -> 38096144[label = "0"];
34800640[shape = box, label = "EXIT"];
38096144[shape = box, label = "0x2454d10\n"];
38096144 -> 35558064[label = "0"];
34811984[shape = box, label = "0x2133050\n"];
34811984 -> 35558064[label = "0"];
34811984 -> 38095888[label = "1"];
34947680[shape = box, label = "0x2154260\n"];
34947680 -> 34811984[label = "0"];
36836688[shape = box, label = "ENTER"];
36836688 -> 35439440[label = "0"];
}