digraph cfg {
28431984[shape = box, label = "0x1b1d670\n"];
28431984 -> 28755008[label = "0"];
28965008[shape = box, label = "0x1b9f890\n"];
28965008 -> 28431984[label = "0"];
28964720[shape = box, label = "0x1b9f770\n"];
28964720 -> 28965008[label = "0"];
28455152[shape = box, label = "0x1b230f0\n"];
28455152 -> 28964720[label = "0"];
28755008[shape = box, label = "0x1b6c440\n"];
28755008 -> 28383488[label = "0"];
28439792[shape = box, label = "0x1b1f4f0\n"];
28439792 -> 28455152[label = "0"];
28383488[shape = box, label = "EXIT"];
28456832[shape = box, label = "ENTER"];
28456832 -> 28439792[label = "0"];
}