digraph cfg {
31779472[shape = box, label = "0x1e4ea90\n"];
31779472 -> 31144176[label = "0"];
32703744[shape = box, label = "0x1f30500\n"];
32703744 -> 31779472[label = "0"];
25646176[shape = box, label = "EXIT"];
31144176[shape = box, label = "0x1db38f0\n"];
31144176 -> 25646176[label = "0"];
25646640[shape = box, label = "ENTER"];
25646640 -> 32703744[label = "0"];
}