Turn a couple commented-out debug printf's into #if 0'd ones for
stylistic reasons.