debugging: Removing cop; Renaming debugger switch