digraph cfg {
21415664[shape = box, label = "0x146c6f0\n"];
21415664 -> 21386752[label = "0"];
21395088[shape = box, label = "0x1467690\n"];
21395088 -> 21415664[label = "0"];
21386752[shape = box, label = "EXIT"];
21310288[shape = box, label = "ENTER"];
21310288 -> 21395088[label = "0"];
}