digraph cfg {
28533056[shape = box, label = "0x1b36140\n"];
28533056 -> 28565504[label = "0"];
28532672[shape = box, label = "0x1b35fc0\n"];
28532672 -> 28533056[label = "0"];
28565504[shape = box, label = "EXIT"];
28585792[shape = box, label = "ENTER"];
28585792 -> 28532672[label = "0"];
}