digraph cfg {
19201664[shape = box, label = "0x124fe80\n"];
19201664 -> 20860640[label = "0"];
19200640[shape = box, label = "0x124fa80\n"];
19200640 -> 20711792[label = "0"];
21187504[shape = box, label = "ENTER"];
21187504 -> 21214048[label = "0"];
19358336[shape = box, label = "0x1276280\n"];
19358336 -> 19358112[label = "0"];
19358336 -> 19960336[label = "1"];
20860640[shape = box, label = "EXIT"];
21214048[shape = box, label = "0x143b360\n"];
21214048 -> 20708944[label = "0"];
20708944[shape = box, label = "0x13bfe50\n"];
20708944 -> 19358336[label = "0"];
19358112[shape = box, label = "0x12761a0\n"];
19358112 -> 20711792[label = "0"];
20711440[shape = box, label = "0x13c0810\n"];
20711440 -> 19201664[label = "0"];
19960336[shape = box, label = "0x1309210\n"];
19960336 -> 20860640[label = "0"];
20711792[shape = box, label = "0x13c0970\n"];
20711792 -> 20711440[label = "0"];
20711792 -> 20712144[label = "1"];
20712144[shape = box, label = "0x13c0ad0\n"];
20712144 -> 19200640[label = "0"];
}