digraph cfg {
39823328[shape = box, label = "0x25fa7e0\n"];
39823328 -> 39963312[label = "0"];
39843744[shape = box, label = "0x25ff7a0\n"];
39843744 -> 39823328[label = "0"];
39963312[shape = box, label = "EXIT"];
40228816[shape = box, label = "ENTER"];
40228816 -> 39843744[label = "0"];
}