digraph cfg {
42490656[shape = box, label = "0x2885b20\n"];
42490656 -> 42470720[label = "0"];
39312864[shape = box, label = "0x257dde0\n"];
39312864 -> 42490656[label = "0"];
38702544[shape = box, label = "0x24e8dd0\n"];
38702544 -> 39312864[label = "0"];
42470720[shape = box, label = "EXIT"];
38568640[shape = box, label = "ENTER"];
38568640 -> 38702544[label = "0"];
}