add a simple printf function