digraph cfg {
23900352[shape = box, label = "0x16cb0c0\n"];
23900352 -> 20513920[label = "0"];
24543040[shape = box, label = "0x1767f40\n"];
24543040 -> 20532624[label = "0"];
20532624[shape = box, label = "0x1394d90\n"];
20532624 -> 23900352[label = "0"];
20668320[shape = box, label = "0x13b5fa0\n"];
20668320 -> 24543040[label = "0"];
21278640[shape = box, label = "0x144afb0\n"];
21278640 -> 20668320[label = "0"];
20513920[shape = box, label = "EXIT"];
20420784[shape = box, label = "ENTER"];
20420784 -> 21278640[label = "0"];
}