(OSD BRANCH) added debugger_exit for cleanup, for now empty