digraph cfg {
28956128[shape = box, label = "0x1b9d5e0\n"];
28956128 -> 27964976[label = "0"];
27168080[shape = box, label = "0x19e8d50\n"];
27168080 -> 28956128[label = "0"];
27964976[shape = box, label = "EXIT"];
28492240[shape = box, label = "ENTER"];
28492240 -> 27168080[label = "0"];
}