digraph cfg {
19340880[shape = box, label = "0x1271e50\n"];
19340880 -> 18595056[label = "0"];
19340880 -> 23222000[label = "1"];
23222000[shape = box, label = "0x16256f0\n"];
23222000 -> 21922816[label = "0"];
18730656[shape = box, label = "0x11dcea0\n"];
18730656 -> 19340880[label = "0"];
18595056[shape = box, label = "0x11bbcf0\n"];
18595056 -> 21962592[label = "0"];
19059152[shape = box, label = "0x122d1d0\n"];
19059152 -> 18730656[label = "0"];
21962592[shape = box, label = "0x14f1f60\n"];
21962592 -> 21922816[label = "0"];
21922816[shape = box, label = "EXIT"];
23414480[shape = box, label = "ENTER"];
23414480 -> 19059152[label = "0"];
}