digraph cfg {
40537584[shape = box, label = "0x26a8df0\n"];
40537584 -> 40537808[label = "0"];
43243424[shape = box, label = "0x293d7a0\n"];
43243424 -> 40537584[label = "0"];
39785472[shape = box, label = "EXIT"];
40537808[shape = box, label = "0x26a8ed0\n"];
40537808 -> 39785472[label = "0"];
39811456[shape = box, label = "ENTER"];
39811456 -> 43243424[label = "0"];
}