s3:printing: add a DEBUG statement