debugging printouts