digraph cfg {
55055792[shape = box, label = "0x34815b0\n"];
55055792 -> 49914976[label = "0"];
54717872[shape = box, label = "0x342edb0\n"];
54717872 -> 55055792[label = "0"];
49914976[shape = box, label = "EXIT"];
49915424[shape = box, label = "ENTER"];
49915424 -> 54717872[label = "0"];
}