Static allocation of printf buffer