digraph cfg {
45938544[shape = box, label = "0x2bcf770\n"];
45938544 -> 47124496[label = "0"];
39533712[shape = box, label = "0x25b3c90\n"];
39533712 -> 46663808[label = "0"];
45077008[shape = box, label = "0x2afd210\n"];
45077008 -> 47124496[label = "0"];
45077008 -> 45938544[label = "1"];
47124496[shape = box, label = "0x2cf1010\n"];
47124496 -> 39533712[label = "0"];
44265584[shape = box, label = "0x2a37070\n"];
44265584 -> 45077008[label = "0"];
46663808[shape = box, label = "EXIT"];
39527536[shape = box, label = "ENTER"];
39527536 -> 44265584[label = "0"];
}