Minimal implementation of printf, which is really fast