printing: use bigger on-stack buffer