How to forward printf