debugging implementation