digraph cfg {
42173888[shape = box, label = "0x28385c0\n"];
42173888 -> 40893936[label = "0"];
36748480[shape = box, label = "0x230bcc0\n"];
36748480 -> 41903472[label = "0"];
41903472[shape = box, label = "0x27f6570\n"];
41903472 -> 42173888[label = "0"];
36748256[shape = box, label = "0x230bbe0\n"];
36748256 -> 36748480[label = "0"];
40893936[shape = box, label = "EXIT"];
41859952[shape = box, label = "ENTER"];
41859952 -> 36748256[label = "0"];
}