digraph cfg {
42273248[shape = box, label = "0x28509e0\n"];
42273248 -> 41901552[label = "0"];
43006944[shape = box, label = "0x2903be0\n"];
43006944 -> 42273248[label = "0"];
41901552[shape = box, label = "EXIT"];
42054416[shape = box, label = "ENTER"];
42054416 -> 43006944[label = "0"];
}