digraph cfg {
31072032[shape = box, label = "0x1da1f20\n"];
31072032 -> 27818832[label = "0"];
27884608[shape = box, label = "0x1a97c40\n"];
27884608 -> 28020400[label = "0"];
27884608 -> 31072032[label = "1"];
27818832[shape = box, label = "0x1a87b50\n"];
27818832 -> 32278368[label = "0"];
31275472[shape = box, label = "0x1dd39d0\n"];
31275472 -> 27884608[label = "0"];
32278368[shape = box, label = "0x1ec8760\n"];
32278368 -> 28020400[label = "0"];
28020400[shape = box, label = "0x1ab8eb0\n"];
28020400 -> 27878592[label = "0"];
31066960[shape = box, label = "0x1da0b50\n"];
31066960 -> 31275472[label = "0"];
27878592[shape = box, label = "EXIT"];
32248080[shape = box, label = "ENTER"];
32248080 -> 31066960[label = "0"];
}