A *printf implementation