Add printf function