Printlns for envelope debugging.