digraph cfg {
51906464[shape = box, label = "0x31807a0\n"];
51906464 -> 49742480[label = "0"];
51671024[shape = box, label = "0x3146ff0\n"];
51671024 -> 51906464[label = "0"];
49742480[shape = box, label = "EXIT"];
46130272[shape = box, label = "ENTER"];
46130272 -> 51671024[label = "0"];
}