digraph cfg {
40324544[shape = box, label = "0x2674dc0\n"];
40324544 -> 35737072[label = "0"];
35737328[shape = box, label = "0x2214ef0\n"];
35737328 -> 35737072[label = "0"];
35737328 -> 40324544[label = "1"];
35737072[shape = box, label = "0x2214df0\n"];
35737072 -> 40319200[label = "0"];
35126976[shape = box, label = "0x217fec0\n"];
35126976 -> 35737328[label = "0"];
39166592[shape = box, label = "0x255a280\n"];
39166592 -> 35126752[label = "0"];
35126752[shape = box, label = "0x217fde0\n"];
35126752 -> 35126976[label = "0"];
38386976[shape = box, label = "0x249bd20\n"];
38386976 -> 39166592[label = "0"];
34984960[shape = box, label = "EXIT"];
40319200[shape = box, label = "0x26738e0\n"];
40319200 -> 34984960[label = "0"];
34985520[shape = box, label = "ENTER"];
34985520 -> 38386976[label = "0"];
}