digraph cfg {
25643056[shape = box, label = "0x1874830\n"];
25643056 -> 25536864[label = "0"];
25514048[shape = box, label = "0x1855040\n"];
25514048 -> 25514368[label = "0"];
25542448[shape = box, label = "0x185bf30\n"];
25542448 -> 25514048[label = "0"];
25536864[shape = box, label = "EXIT"];
25514368[shape = box, label = "0x1855180\n"];
25514368 -> 25643056[label = "0"];
25535840[shape = box, label = "ENTER"];
25535840 -> 25542448[label = "0"];
}