Debugging protocol