digraph cfg {
51811504[shape = box, label = "0x31694b0\n"];
51811504 -> 51324592[label = "0"];
51324944[shape = box, label = "0x30f2810\n"];
51324944 -> 51324592[label = "0"];
51324944 -> 51811504[label = "1"];
51324592[shape = box, label = "0x30f26b0\n"];
51324592 -> 51196832[label = "0"];
51324240[shape = box, label = "0x30f2550\n"];
51324240 -> 51324944[label = "0"];
50853072[shape = box, label = "0x307f4d0\n"];
50853072 -> 51324240[label = "0"];
51041920[shape = box, label = "0x30ad680\n"];
51041920 -> 50853072[label = "0"];
51196832[shape = box, label = "EXIT"];
51055952[shape = box, label = "ENTER"];
51055952 -> 51041920[label = "0"];
}