digraph cfg {
21399552[shape = box, label = "0x1468800\n"];
21399552 -> 18240512[label = "0"];
18390368[shape = box, label = "0x1189d60\n"];
18390368 -> 21399552[label = "0"];
18254672[shape = box, label = "0x1168b50\n"];
18254672 -> 19000688[label = "0"];
21601280[shape = box, label = "0x1499c00\n"];
21601280 -> 18254672[label = "0"];
18240512[shape = box, label = "EXIT"];
19000688[shape = box, label = "0x121ed70\n"];
19000688 -> 18390368[label = "0"];
21388832[shape = box, label = "ENTER"];
21388832 -> 21601280[label = "0"];
}