Added my own printf function