digraph cfg {
41532080[shape = box, label = "0x279bab0\n"];
41532080 -> 41346624[label = "0"];
40545616[shape = box, label = "0x26aad50\n"];
40545616 -> 41532080[label = "0"];
41346624[shape = box, label = "EXIT"];
42017424[shape = box, label = "ENTER"];
42017424 -> 40545616[label = "0"];
}