digraph cfg {
31472544[shape = box, label = "0x1e03ba0\n"];
31472544 -> 31649232[label = "0"];
31649232[shape = box, label = "0x1e2edd0\n"];
31649232 -> 34916272[label = "0"];
34916496[shape = box, label = "0x214c890\n"];
34916496 -> 32259648[label = "0"];
34916272[shape = box, label = "0x214c7b0\n"];
34916272 -> 31507456[label = "0"];
35689072[shape = box, label = "0x2209270\n"];
35689072 -> 34916496[label = "0"];
34897744[shape = box, label = "0x2147f50\n"];
34897744 -> 35689072[label = "0"];
31507456[shape = box, label = "EXIT"];
32259648[shape = box, label = "0x1ec3e40\n"];
32259648 -> 34916272[label = "0"];
32259648 -> 31472544[label = "1"];
31515344[shape = box, label = "ENTER"];
31515344 -> 34897744[label = "0"];
}