digraph cfg {
20708944[shape = box, label = "0x13bfe50\n"];
20708944 -> 20860640[label = "0"];
21214048[shape = box, label = "0x143b360\n"];
21214048 -> 20708944[label = "0"];
20860640[shape = box, label = "EXIT"];
21187504[shape = box, label = "ENTER"];
21187504 -> 21214048[label = "0"];
}