digraph cfg {
31408176[shape = box, label = "0x1df4030\n"];
31408176 -> 37218016[label = "0"];
36819616[shape = box, label = "0x231d2a0\n"];
36819616 -> 31408176[label = "0"];
31947600[shape = box, label = "0x1e77b50\n"];
31947600 -> 36819616[label = "0"];
37218016[shape = box, label = "EXIT"];
31415440[shape = box, label = "0x1df5c90\n"];
31415440 -> 31947600[label = "0"];
31409456[shape = box, label = "ENTER"];
31409456 -> 31415440[label = "0"];
}