digraph cfg {
31378672[shape = box, label = "0x1deccf0\n"];
31378672 -> 31032544[label = "0"];
31032800[shape = box, label = "0x1d985e0\n"];
31032800 -> 31378672[label = "0"];
31032544[shape = box, label = "EXIT"];
31237568[shape = box, label = "ENTER"];
31237568 -> 31032800[label = "0"];
}