digraph cfg {
20983872[shape = box, label = "0x1403040\n"];
20983872 -> 21094128[label = "0"];
21003984[shape = box, label = "0x1407ed0\n"];
21003984 -> 20983872[label = "0"];
21094128[shape = box, label = "EXIT"];
20978160[shape = box, label = "ENTER"];
20978160 -> 21003984[label = "0"];
}