digraph cfg {
35126976[shape = box, label = "0x217fec0\n"];
35126976 -> 35737296[label = "0"];
34991088[shape = box, label = "0x215ebf0\n"];
34991088 -> 35126752[label = "0"];
35737296[shape = box, label = "0x2214ed0\n"];
35737296 -> 34984960[label = "0"];
35126752[shape = box, label = "0x217fde0\n"];
35126752 -> 35126976[label = "0"];
38386976[shape = box, label = "0x249bd20\n"];
38386976 -> 34991088[label = "0"];
34984960[shape = box, label = "EXIT"];
34985520[shape = box, label = "ENTER"];
34985520 -> 38386976[label = "0"];
}