digraph cfg {
21342240[shape = box, label = "0x145a820\n"];
21342240 -> 21245424[label = "0"];
20903760[shape = box, label = "0x13ef750\n"];
20903760 -> 21043776[label = "0"];
21043776[shape = box, label = "0x1411a40\n"];
21043776 -> 20698480[label = "0"];
20903504[shape = box, label = "0x13ef650\n"];
20903504 -> 20903760[label = "0"];
20698480[shape = box, label = "0x13bd570\n"];
20698480 -> 21342240[label = "0"];
20698480 -> 21341696[label = "1"];
21294416[shape = box, label = "0x144ed50\n"];
21294416 -> 20903504[label = "0"];
21341696[shape = box, label = "0x145a600\n"];
21341696 -> 21245424[label = "0"];
21245424[shape = box, label = "EXIT"];
21044416[shape = box, label = "0x1411cc0\n"];
21044416 -> 21245424[label = "0"];
20922624[shape = box, label = "ENTER"];
20922624 -> 21294416[label = "0"];
}