digraph cfg {
26818672[shape = box, label = "0x1993870\n"];
26818672 -> 23477232[label = "0"];
23612896[shape = box, label = "0x1684de0\n"];
23612896 -> 23477232[label = "0"];
27984976[shape = box, label = "0x1ab0450\n"];
27984976 -> 27983552[label = "0"];
27984976 -> 23612896[label = "1"];
28018400[shape = box, label = "0x1ab86e0\n"];
28018400 -> 26818672[label = "0"];
27983552[shape = box, label = "0x1aafec0\n"];
27983552 -> 28018400[label = "0"];
27982000[shape = box, label = "0x1aaf8b0\n"];
27982000 -> 27984976[label = "0"];
28144976[shape = box, label = "0x1ad7550\n"];
28144976 -> 27982000[label = "0"];
23477456[shape = box, label = "0x1663cd0\n"];
23477456 -> 28144976[label = "0"];
23477232[shape = box, label = "EXIT"];
24223216[shape = box, label = "ENTER"];
24223216 -> 23477456[label = "0"];
}