digraph cfg {
42820928[shape = box, label = "0x28d6540\n"];
42820928 -> 42520800[label = "0"];
43314784[shape = box, label = "0x294ee60\n"];
43314784 -> 42820928[label = "0"];
43165968[shape = box, label = "0x292a910\n"];
43165968 -> 43314784[label = "0"];
42520800[shape = box, label = "EXIT"];
43233232[shape = box, label = "ENTER"];
43233232 -> 43165968[label = "0"];
}