digraph cfg {
21925696[shape = box, label = "0x14e8f40\n"];
21925696 -> 20957024[label = "0"];
20471312[shape = box, label = "0x1385e10\n"];
20471312 -> 21925696[label = "0"];
20957024[shape = box, label = "EXIT"];
20414528[shape = box, label = "ENTER"];
20414528 -> 20471312[label = "0"];
}