digraph cfg {
36422112[shape = box, label = "0x22bc1e0\n"];
36422112 -> 35997568[label = "0"];
36314352[shape = box, label = "0x22a1cf0\n"];
36314352 -> 36422112[label = "0"];
36003296[shape = box, label = "0x2255de0\n"];
36003296 -> 36314352[label = "0"];
35997568[shape = box, label = "EXIT"];
35997008[shape = box, label = "ENTER"];
35997008 -> 36003296[label = "0"];
}