digraph cfg {
20978160[shape = box, label = "0x14019f0\n"];
20978160 -> 20838176[label = "0"];
20858592[shape = box, label = "0x13e46e0\n"];
20858592 -> 20978160[label = "0"];
20838176[shape = box, label = "EXIT"];
21236416[shape = box, label = "ENTER"];
21236416 -> 20858592[label = "0"];
}