digraph cfg {
51196832[shape = box, label = "0x30d33a0\n"];
51196832 -> 51041920[label = "0"];
50853072[shape = box, label = "0x307f4d0\n"];
50853072 -> 51196832[label = "0"];
51041920[shape = box, label = "EXIT"];
51055952[shape = box, label = "ENTER"];
51055952 -> 50853072[label = "0"];
}