commented debug printf