digraph cfg {
28284592[shape = box, label = "0x1af96b0\n"];
28284592 -> 28285008[label = "0"];
27868928[shape = box, label = "0x1a93f00\n"];
27868928 -> 28103328[label = "0"];
28009312[shape = box, label = "0x1ab6360\n"];
28009312 -> 27868928[label = "0"];
28103328[shape = box, label = "0x1acd2a0\n"];
28103328 -> 28284592[label = "0"];
28033984[shape = box, label = "0x1abc3c0\n"];
28033984 -> 28009312[label = "0"];
27862816[shape = box, label = "EXIT"];
28285360[shape = box, label = "0x1af99b0\n"];
28285360 -> 27862816[label = "0"];
28285008[shape = box, label = "0x1af9850\n"];
28285008 -> 28285360[label = "0"];
27854864[shape = box, label = "ENTER"];
27854864 -> 28033984[label = "0"];
}