digraph cfg {
48743424[shape = box, label = "0x2e7c400\n"];
48743424 -> 49046416[label = "0"];
49024464[shape = box, label = "0x2ec0dd0\n"];
49024464 -> 48743424[label = "0"];
49046416[shape = box, label = "EXIT"];
48812016[shape = box, label = "0x2e8cff0\n"];
48812016 -> 49024464[label = "0"];
48805856[shape = box, label = "ENTER"];
48805856 -> 48812016[label = "0"];
}