digraph cfg {
37309552[shape = box, label = "0x2394c70\n"];
37309552 -> 37592368[label = "0"];
37154160[shape = box, label = "0x236ed70\n"];
37154160 -> 37309552[label = "0"];
37592368[shape = box, label = "EXIT"];
37148576[shape = box, label = "ENTER"];
37148576 -> 37154160[label = "0"];
}