digraph cfg {
45388432[shape = box, label = "0x2b49290\n"];
45388432 -> 46504000[label = "0"];
46505552[shape = box, label = "0x2c59e50\n"];
46505552 -> 45388432[label = "0"];
46503248[shape = box, label = "0x2c59550\n"];
46503248 -> 46505552[label = "0"];
45006800[shape = box, label = "0x2aebfd0\n"];
45006800 -> 46503248[label = "0"];
46504000[shape = box, label = "EXIT"];
45000480[shape = box, label = "ENTER"];
45000480 -> 45006800[label = "0"];
}