PrinterMain: micro-optimization