digraph cfg {
51500336[shape = box, label = "0x311d530\n"];
51500336 -> 51494816[label = "0"];
51491840[shape = box, label = "0x311b400\n"];
51491840 -> 51500336[label = "0"];
51494816[shape = box, label = "EXIT"];
53525136[shape = box, label = "ENTER"];
53525136 -> 51491840[label = "0"];
}