digraph cfg {
36054352[shape = box, label = "0x2262550\n"];
36054352 -> 37148256[label = "0"];
36257200[shape = box, label = "0x2293db0\n"];
36257200 -> 36054352[label = "0"];
37148256[shape = box, label = "EXIT"];
36251072[shape = box, label = "ENTER"];
36251072 -> 36257200[label = "0"];
}