digraph cfg {
31617392[shape = box, label = "0x1e27170\n"];
31617392 -> 31617808[label = "0"];
31032736[shape = box, label = "0x1d985a0\n"];
31032736 -> 31617392[label = "0"];
31617808[shape = box, label = "0x1e27310\n"];
31617808 -> 31237568[label = "0"];
31237824[shape = box, label = "0x1dca6c0\n"];
31237824 -> 31032736[label = "0"];
31237568[shape = box, label = "EXIT"];
31378480[shape = box, label = "ENTER"];
31378480 -> 31237824[label = "0"];
}