optimized printf