Commented out mostly-obsolete debugging printout (obscures more interesting debugging printouts by its volume).