digraph cfg {
50336896[shape = box, label = "0x3001480\n"];
50336896 -> 51419280[label = "0"];
50680448[shape = box, label = "0x3055280\n"];
50680448 -> 50336896[label = "0"];
50182784[shape = box, label = "0x2fdba80\n"];
50182784 -> 50680448[label = "0"];
51419280[shape = box, label = "EXIT"];
51416864[shape = box, label = "ENTER"];
51416864 -> 50182784[label = "0"];
}