digraph cfg {
18108416[shape = box, label = "0x1145000\n"];
18108416 -> 18081088[label = "0"];
18300704[shape = box, label = "0x1173f20\n"];
18300704 -> 18107968[label = "0"];
18300448[shape = box, label = "0x1173e20\n"];
18300448 -> 18300704[label = "0"];
18087856[shape = box, label = "0x113ffb0\n"];
18087856 -> 18300448[label = "0"];
18107968[shape = box, label = "0x1144e40\n"];
18107968 -> 18108416[label = "0"];
18082272[shape = box, label = "0x113e9e0\n"];
18082272 -> 18087856[label = "0"];
18081088[shape = box, label = "EXIT"];
19059632[shape = box, label = "ENTER"];
19059632 -> 18082272[label = "0"];
}