digraph cfg {
44531072[shape = box, label = "0x2a77d80\n"];
44531072 -> 44551216[label = "0"];
44676896[shape = box, label = "0x2a9b720\n"];
44676896 -> 44531072[label = "0"];
44551216[shape = box, label = "EXIT"];
44525520[shape = box, label = "ENTER"];
44525520 -> 44676896[label = "0"];
}