digraph cfg {
28819600[shape = box, label = "0x1b7c090\n"];
28819600 -> 28423008[label = "0"];
27454512[shape = box, label = "0x1a2ec30\n"];
27454512 -> 28819600[label = "0"];
27372256[shape = box, label = "0x1a1aae0\n"];
27372256 -> 27454512[label = "0"];
28423008[shape = box, label = "EXIT"];
28254672[shape = box, label = "ENTER"];
28254672 -> 27372256[label = "0"];
}