Found this simple version of printf