digraph cfg {
27243728[shape = box, label = "0x19fb4d0\n"];
27243728 -> 28187600[label = "0"];
27451120[shape = box, label = "0x1a2def0\n"];
27451120 -> 27243728[label = "0"];
28187600[shape = box, label = "EXIT"];
27383984[shape = box, label = "ENTER"];
27383984 -> 27451120[label = "0"];
}