digraph cfg {
37071520[shape = box, label = "0x235aaa0\n"];
37071520 -> 36959552[label = "0"];
36987824[shape = box, label = "0x23463b0\n"];
36987824 -> 37071520[label = "0"];
36959552[shape = box, label = "EXIT"];
37039264[shape = box, label = "ENTER"];
37039264 -> 36987824[label = "0"];
}