digraph cfg {
28580656[shape = box, label = "0x1b41b30\n"];
28580656 -> 28646096[label = "0"];
27913664[shape = box, label = "0x1a9edc0\n"];
27913664 -> 27894704[label = "0"];
27894704[shape = box, label = "0x1a9a3b0\n"];
27894704 -> 28580656[label = "0"];
28604160[shape = box, label = "0x1b47700\n"];
28604160 -> 28604384[label = "0"];
28604384[shape = box, label = "0x1b477e0\n"];
28604384 -> 27747776[label = "0"];
28646096[shape = box, label = "EXIT"];
27747776[shape = box, label = "0x1a765c0\n"];
27747776 -> 27913664[label = "0"];
27735280[shape = box, label = "ENTER"];
27735280 -> 28604160[label = "0"];
}