Allow TESLA consumers to define their own printf function.