digraph cfg {
19005856[shape = box, label = "0x12201a0\n"];
19005856 -> 18383232[label = "0"];
19005632[shape = box, label = "0x12200c0\n"];
19005632 -> 18383232[label = "0"];
19005632 -> 19005856[label = "1"];
18383232[shape = box, label = "0x1188180\n"];
18383232 -> 18977216[label = "0"];
18232800[shape = box, label = "0x11635e0\n"];
18232800 -> 19005632[label = "0"];
18977216[shape = box, label = "EXIT"];
20017472[shape = box, label = "ENTER"];
20017472 -> 18232800[label = "0"];
}