debugging protocol