digraph cfg {
42273248[shape = box, label = "0x28509e0\n"];
42273248 -> 41901648[label = "0"];
43006816[shape = box, label = "EXIT"];
41901648[shape = box, label = "0x27f5e50\n"];
41901648 -> 43006816[label = "0"];
42996016[shape = box, label = "0x2901130\n"];
42996016 -> 42273248[label = "0"];
42054416[shape = box, label = "ENTER"];
42054416 -> 42996016[label = "0"];
}