digraph cfg {
38259488[shape = box, label = "0x247cb20\n"];
38259488 -> 36571904[label = "0"];
36572128[shape = box, label = "0x22e0be0\n"];
36572128 -> 38259488[label = "0"];
36571904[shape = box, label = "EXIT"];
32480224[shape = box, label = "ENTER"];
32480224 -> 36572128[label = "0"];
}