Added a debug statement right before runtime_exit