digraph cfg {
45622176[shape = box, label = "0x2b823a0\n"];
45622176 -> 45531648[label = "0"];
45621824[shape = box, label = "0x2b82240\n"];
45621824 -> 45622176[label = "0"];
44750400[shape = box, label = "0x2aad640\n"];
44750400 -> 45621824[label = "0"];
45531648[shape = box, label = "0x2b6c200\n"];
45531648 -> 45235232[label = "0"];
39341200[shape = box, label = "0x2584c90\n"];
39341200 -> 44750400[label = "0"];
44748944[shape = box, label = "0x2aad090\n"];
44748944 -> 39341200[label = "0"];
45235232[shape = box, label = "EXIT"];
45080016[shape = box, label = "ENTER"];
45080016 -> 44748944[label = "0"];
}