digraph cfg {
22955504[shape = box, label = "0x15e45f0\n"];
22955504 -> 23151856[label = "0"];
24359296[shape = box, label = "0x173b180\n"];
24359296 -> 22955280[label = "0"];
23151856[shape = box, label = "EXIT"];
22955280[shape = box, label = "0x15e4510\n"];
22955280 -> 22955504[label = "0"];
25168480[shape = box, label = "ENTER"];
25168480 -> 24359296[label = "0"];
}