simple printf function