digraph cfg {
31068272[shape = box, label = "0x1da1070\n"];
31068272 -> 30925680[label = "0"];
30945920[shape = box, label = "0x1d83280\n"];
30945920 -> 31068272[label = "0"];
30925680[shape = box, label = "EXIT"];
30918080[shape = box, label = "ENTER"];
30918080 -> 30945920[label = "0"];
}