digraph cfg {
45363104[shape = box, label = "0x2b42fa0\n"];
45363104 -> 45177088[label = "0"];
44958336[shape = box, label = "0x2ae0280\n"];
44958336 -> 45363104[label = "0"];
45177088[shape = box, label = "0x2b15900\n"];
45177088 -> 44795312[label = "0"];
44787312[shape = box, label = "0x2ab6670\n"];
44787312 -> 44958112[label = "0"];
44958112[shape = box, label = "0x2ae01a0\n"];
44958112 -> 45177088[label = "0"];
44958112 -> 44958336[label = "1"];
44795312[shape = box, label = "EXIT"];
44795776[shape = box, label = "ENTER"];
44795776 -> 44787312[label = "0"];
}