printf function example