digraph cfg {
51636032[shape = box, label = "0x313e740\n"];
51636032 -> 51494816[label = "0"];
51491840[shape = box, label = "0x311b400\n"];
51491840 -> 51636032[label = "0"];
51494816[shape = box, label = "EXIT"];
51520320[shape = box, label = "ENTER"];
51520320 -> 51491840[label = "0"];
}