digraph cfg {
35652272[shape = box, label = "0x22002b0\n"];
35652272 -> 35543072[label = "0"];
35544000[shape = box, label = "0x21e5bc0\n"];
35544000 -> 35652272[label = "0"];
35991536[shape = box, label = "0x2252ff0\n"];
35991536 -> 35544000[label = "0"];
35543072[shape = box, label = "EXIT"];
36557872[shape = box, label = "ENTER"];
36557872 -> 35991536[label = "0"];
}