digraph cfg {
19358112[shape = box, label = "0x12761a0\n"];
19358112 -> 20860640[label = "0"];
21214048[shape = box, label = "0x143b360\n"];
21214048 -> 19358112[label = "0"];
20860640[shape = box, label = "EXIT"];
19216992[shape = box, label = "ENTER"];
19216992 -> 21214048[label = "0"];
}