digraph cfg {
42373456[shape = box, label = "0x2869150\n"];
42373456 -> 42374096[label = "0"];
42373008[shape = box, label = "0x2868f90\n"];
42373008 -> 42373456[label = "0"];
42370512[shape = box, label = "0x28685d0\n"];
42370512 -> 42373008[label = "0"];
42374096[shape = box, label = "0x28693d0\n"];
42374096 -> 41096416[label = "0"];
42342240[shape = box, label = "0x2861760\n"];
42342240 -> 41440288[label = "0"];
41299600[shape = box, label = "0x2762e90\n"];
41299600 -> 42342240[label = "0"];
41096416[shape = box, label = "EXIT"];
41440288[shape = box, label = "0x2785420\n"];
41440288 -> 42370512[label = "0"];
41299312[shape = box, label = "0x2762d70\n"];
41299312 -> 41299600[label = "0"];
41293152[shape = box, label = "ENTER"];
41293152 -> 41299312[label = "0"];
}