digraph cfg {
26902512[shape = box, label = "0x19a7ff0\n"];
26902512 -> 26895712[label = "0"];
27000752[shape = box, label = "0x19bffb0\n"];
27000752 -> 26902512[label = "0"];
26895712[shape = box, label = "EXIT"];
28186064[shape = box, label = "ENTER"];
28186064 -> 27000752[label = "0"];
}