digraph cfg {
51175536[shape = box, label = "0x30ce070\n"];
51175536 -> 49717936[label = "0"];
49698592[shape = box, label = "0x2f65720\n"];
49698592 -> 50366576[label = "0"];
49717936[shape = box, label = "0x2f6a2b0\n"];
49717936 -> 49712480[label = "0"];
49712480[shape = box, label = "EXIT"];
50366576[shape = box, label = "0x3008870\n"];
50366576 -> 51175536[label = "0"];
50105744[shape = box, label = "ENTER"];
50105744 -> 49698592[label = "0"];
}