digraph cfg {
35881936[shape = box, label = "0x22383d0\n"];
35881936 -> 37379680[label = "0"];
35637712[shape = box, label = "0x21fc9d0\n"];
35637712 -> 35369360[label = "0"];
37379680[shape = box, label = "EXIT"];
35369360[shape = box, label = "0x21bb190\n"];
35369360 -> 35881936[label = "0"];
35363904[shape = box, label = "ENTER"];
35363904 -> 35637712[label = "0"];
}